src/Barbies/Internal/FunctorT.hs:50:11: error:
• The default type signature for tmap:
forall (f :: k -> *) (g :: k -> *) (x :: k').
CanDeriveFunctorT t f g x =>
(forall (a :: k). f a -> g a) -> t f x -> t g x
does not match its corresponding non-default type signature
• When checking the class method:
tmap :: forall k k' (t :: (k -> *) -> k' -> *) (f :: k -> *)
(g :: k -> *).
FunctorT t =>
(forall (a :: k). f a -> g a) -> forall (x :: k'). t f x -> t g x
In the class declaration for ‘FunctorT’
|
50 | default tmap
| ^^^^