>>593
一部じゃない
継続は全ての処理系で簡単に実装できる
pure x = ($ x)
fmap f = (. (. f))
join m = m . pure