Error found:
in module Main
at tests/purs/failing/TypeSynonyms10.purs:8:19 - 8:23 (line 8, column 19 - line 8, column 23)

  Could not match kind
                          
    (Type -> Type) -> Type
                          
  with kind
        
    Type
        

while checking that type NaturalTransformation Array
  has kind Type
while inferring the kind of F (NaturalTransformation Array)
in type constructor N

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