Error found:
in module X
at tests/purs/failing/KindStar.purs:7:1 - 7:13 (line 7, column 1 - line 7, column 13)

  In a type-annotated expression x :: t, the type t must have kind Type.
  The error arises from the type
        
    List
        
  having the kind
                
    Type -> Type
                
  instead.

in value declaration test

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