throws and async as effects on function types,

7:37 AM

effects ってのが専門用語を匂わせてる気がする

7:38 AM

eff言語では effect としてモナド変換を一級に扱える http://www.eff-lang.org