haskell - 谁能解释一下Monads？

Question

可能重复：
什么是单子？

我想我明白什么是'Maybe Monads'，但我不确定其他类型。