小编Lio*_* L.的帖子

Monad可以将（与原始函数采用的Just [1,2]类型不同）传递给。length>>= return . length

Just [1,2] >>= return . length

我可以说这Monad使得使用 可以看到Maybe [a]与[a]on length同构(>>=, return)吗？（当然它们并不是真正同构的。）

这种情况我可以选择“同构”这个词吗？