Error found:
in module M
at tests/purs/failing/1570.purs:6:10 - 6:16 (line 6, column 10 - line 6, column 16)

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

while inferring the type of \$0 ->      
                              case $0 of
                                x -> x  
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.