Warning 1 of 4:

  in module Main
  at tests/purs/warning/MissingKindDeclaration.purs:7:1 - 7:21 (line 7, column 1 - line 7, column 21)

    The inferred kind for the data declaration Proxy contains polymorphic kinds.
    Consider adding a top-level kind signature as a form of documentation.
                                       
      data Proxy :: forall k. k -> Type
                                       

  in type constructor Proxy

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

Warning 2 of 4:

  in module Main
  at tests/purs/warning/MissingKindDeclaration.purs:11:1 - 11:40 (line 11, column 1 - line 11, column 40)

    The inferred kind for the type declaration Natural contains polymorphic kinds.
    Consider adding a top-level kind signature as a form of documentation.
                                                                  
      type Natural :: forall k. (k -> Type) -> (k -> Type) -> Type
                                                                  

  in type synonym Natural

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

Warning 3 of 4:

  in module Main
  at tests/purs/warning/MissingKindDeclaration.purs:9:1 - 9:20 (line 9, column 1 - line 9, column 20)

    The inferred kind for the newtype declaration F contains polymorphic kinds.
    Consider adding a top-level kind signature as a form of documentation.
                                              
      newtype F :: forall k. k -> Type -> Type
                                              

  in type constructor F

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

Warning 4 of 4:

  in module Main
  at tests/purs/warning/MissingKindDeclaration.purs:13:1 - 13:18 (line 13, column 1 - line 13, column 18)

    The inferred kind for the class declaration Clazz contains polymorphic kinds.
    Consider adding a top-level kind signature as a form of documentation.
                                                                  
      class Clazz :: forall k1 k2 k3. k1 -> k2 -> k3 -> Constraint
                                                                  

  in type class declaration for Clazz

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