Error found:
in module Main
at tests/purs/failing/InfiniteKind.purs:5:17 - 5:18 (line 5, column 17 - line 5, column 18)

  An infinite kind was inferred for a type:
            
    t5 -> t6
            

while checking that type a
  has kind t0
while inferring the kind of a a
in type constructor F

where t0 is an unknown type

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