相关疑难解决方法(0)

在向某人解释什么是类型类X时,我很难找到正好是X的数据结构的好例子.

所以,我请求示例:

• 一个不是Functor的类型构造函数.
• 一个类型构造函数,它是一个Functor,但不是Applicative.
• 一个类型构造函数,它是Applicative,但不是Monad.
• Monad的类型构造函数.

我认为Monad到处都有很多例子,但Monad的一个很好的例子与之前的例子有一些关系可以完成图片.

我寻找彼此相似的示例,区别仅在于属于特定类型类的重要方面.

如果有人能够设法在这个层次结构的某个地方隐藏一个Arrow的例子(它是在Applicative和Monad之间吗？),那也会很棒!