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

  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). Proxy a -> Proxy a
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.