4183.out

Warning found:
in module [33mMain[0m
at tests/purs/warning/4183.purs:4:1 - 4:21 (line 4, column 1 - line 4, column 21)

  The inferred kind for the type declaration [33mT[0m contains polymorphic kinds.
  Consider adding a top-level kind signature as a form of documentation.
  [33m                                        [0m
  [33m  type T :: forall k. (k -> k) -> k -> k[0m
  [33m                                        [0m

in type synonym [33mT[0m

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