Error found:
in module Main
at tests/purs/failing/FoldableInstance3.purs:9:26 - 9:29 (line 9, column 26 - line 9, column 29)

  Could not match kind
        
    Type
        
  with kind
                
    Type -> Type
                

while checking that type Foo
  has kind Type -> Type
while inferring the kind of Foldable Foo
in type class instance
                            
  Data.Foldable.Foldable Foo
                            

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