Error found:
in module Main
at tests/purs/failing/PASTrumpsKDNU1.purs:14:33 - 14:43 (line 14, column 33 - line 14, column 43)

  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 Show a => NaturalTransformation Array
while inferring the kind of Proxy (Show a => NaturalTransformation Array)
while inferring the kind of forall a. Proxy (Show a => NaturalTransformation Array)
in value declaration f

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