Error found:
in module Main
at tests/purs/failing/PASTrumpsKDNU3.purs:9:23 - 9:33 (line 9, column 23 - line 9, column 33)

  Type synonym Data.NaturalTransformation.NaturalTransformation is partially applied.
  Type synonyms must be applied to all of their type arguments.

while checking that type NaturalTransformation Array
  has kind Type
while inferring the kind of forall a. NaturalTransformation Array
while inferring the kind of Proxy (forall a. NaturalTransformation Array)
in value declaration p

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