Почему такой код не компилируется class Functor f => Foo f instance

Question

Почему такой код не компилируется class Functor f => Foo f instance

Applicative f => Foo f
Could not deduce (Functor f)
arising from the superclasses of an instance declaration
from the context: Applicative f
?
Хотя вроде бы GHC может вывести Applicative f => Functor f:
class (forall f. Applicative f => Functor f) => C
instance C

#haskell #programming #russian

0

13.07.2023