Error found:
in module InfiniteKind2
at tests/purs/failing/InfiniteKind2.purs:5:23 - 5:27 (line 5, column 23 - line 5, column 27)

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

while checking that type Tree
  has kind t0
while inferring the kind of m Tree
in data binding group Tree

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.