在向某人解释X类型类是什么时，我很难找到恰好是X的数据结构的好例子。因此，我要求以下例子:不是Functor的类型构造函数。类型构造函数是Functor，但不是Applicative。一个类型构造函数