1570.out

Error found:
in module [33mM[0m
at tests/purs/failing/1570.purs:6:10 - 6:16 (line 6, column 10 - line 6, column 16)

  In a type-annotated expression [33mx :: t[0m, the type [33mt[0m must have kind [33mType[0m.
  The error arises from the type
  [33m   [0m
  [33m  F[0m
  [33m   [0m
  having the kind
  [33m              [0m
  [33m  Type -> Type[0m
  [33m              [0m
  instead.

while inferring the type of [33m\$0 ->      [0m
                            [33m  case $0 of[0m
                            [33m    x -> x  [0m
in value declaration [33mtest[0m

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