M と MM

双方向に自然変換を取れる

fmap return :: Monad m ⇒ m a → m (m a)
join :: Monad m ⇒ m (m a) → m a 

「自然に潰れたモナド」がほしい、っていう需要はいっぱいあるよね