Error found: in module Test at tests/purs/failing/1169.purs:12:8 - 12:15 (line 12, column 8 - line 12, column 15) Data constructor Test.Inner was given 1 arguments in a case expression, but expected 2 arguments. This problem can be fixed by giving Test.Inner 2 arguments. while checking that expression case $1 of   (Inner _) -> true has type Boolean in value declaration test2 See https://github.com/purescript/documentation/blob/master/errors/IncorrectConstructorArity.md for more information, or to contribute content related to this error.