Error found:
in module Main
at tests/purs/failing/InfiniteType.purs:5:7 - 5:10 (line 5, column 7 - line 5, column 10)

  An infinite type was inferred for an expression:
            
    t0 -> t1
            

while trying to match type t0
  with type t0 -> t1
while inferring the type of \a -> 
                              a a 
in value declaration f

where t0 is an unknown type
      t1 is an unknown type

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