Entries from 2018-02-01 to 1 day
双方向に自然変換を取れる fmap return :: Monad m ⇒ m a → m (m a) join :: Monad m ⇒ m (m a) → m a 「自然に潰れたモナド」がほしい、っていう需要はいっぱいあるよね
双方向に自然変換を取れる fmap return :: Monad m ⇒ m a → m (m a) join :: Monad m ⇒ m (m a) → m a 「自然に潰れたモナド」がほしい、っていう需要はいっぱいあるよね