所有函数类型是否都构成“ Hask”的子类别？

Question

在Haskell中，所有类型都形成一个名为的类别Hask。

函数类型是类型。所有函数类型都构成的子类Hask吗？

所有非函数类型都形成的子类别Hask吗？

我认为两个答案都是肯定的。但是我不知道我是否正确。

Answer 1

设其对象C具有类的任何类别O。

如果O'是任何的子类O，我们可以定义一个类C'以O'作为对象，并保持所有的射中C它仍然是“有意义”，即，在sourve和目标对象O'。组成和身份相同（仅限O'）。

C'是的子类别C。（确切地说是完整的子类别。）

您应该通过扩展所有定义自己检查此声明。

您提到的示例仅针对选取了一些特殊情况O'，因此它们是子类别。