Error found: in module Main at tests/purs/failing/2534.purs:8:14 - 8:18 (line 8, column 14 - line 8, column 18) An infinite type was inferred for an expression:    Array t0   while trying to match type Array t1 with type t0 while checking that expression xs has type t0 in value declaration foo where t1 is an unknown type t0 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.