Error found:
in module Main
at tests/purs/failing/KindError.purs:6:35 - 6:36 (line 6, column 35 - line 6, column 36)

  Could not match kind
        
    Type
        
  with kind
            
    t8 -> t9
            

while checking that type f
  has kind t0 -> t1
while inferring the kind of f a
in type constructor KindError

where t0 is an unknown type
      t1 is an unknown type

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