Error found:
in module Main
at tests/purs/failing/1071.purs:7:18 - 7:23 (line 7, column 18 - line 7, column 23)

  Could not match kind
                      
    Type -> Constraint
                      
  with kind
              
    Constraint
              

while checking that type Foo a
  has kind Constraint
while inferring the kind of Foo a => a -> a
while inferring the kind of forall a. Foo a => a -> a
in value declaration bar

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