Error found:
in module Main
at tests/purs/failing/3549.purs:8:78 - 8:79 (line 8, column 78 - line 8, column 79)

  Could not match kind
                
    Type -> Type
                
  with kind
        
    Type
        

while checking that type f
  has kind Type -> Type
while inferring the kind of Functor f
while inferring the kind of Functor f => (a -> b) -> f a -> f b
while inferring the kind of forall (b :: Type). Functor f => (a -> b) -> f a -> f b
while inferring the kind of forall (a :: Type) (b :: Type). Functor f => (a -> b) -> f a -> f b
while inferring the kind of forall (f :: Type -> Type -> Type) (a :: Type) (b :: Type). Functor f => (a -> b) -> f a -> f b
in value declaration map'

See https://github.com/purescript/documentation/blob/master/errors/KindsDoNotUnify.md for more information,
or to contribute content related to this error.