“ Functor”不是“ Category”的超类是否有原因？

Question

似乎您可以简单地声明：

import qualified Control.Category as Cat
instance Cat.Category q => Functor (q r) where
     fmap = (Cat..)

有什么反对的话吗？

Answer 1

该实例将与许多其他有用的实例重叠，例如一个不能再添加

instance Functor (State s) where ...

State s单子。