haskell – 什么是zygo/meta/histo/para/futu/dyna/whatever-morphisms？
有没有一个列表，他们有一个没有广泛的类别理论知识...
Haskell中的`join`和`fmap join`是否等于(从类别理论的角度来看)？
我的问题来自 Haskell的monad的第一定律：join. fma...