Error found:
in module Main
at tests/purs/failing/NewtypeInstance6.purs:8:45 - 8:46 (line 8, column 45 - line 8, column 46)

  Could not match kind
                
    Type -> Type
                
  with kind
        
    Type
        

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

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