Error found:
in module Main
at tests/purs/failing/CaseDoesNotMatchAllConstructorArgs.purs:11:9 - 11:17 (line 11, column 9 - line 11, column 17)

  Data constructor Main.Person was given 1 arguments in a case expression, but expected 2 arguments.
  This problem can be fixed by giving Main.Person 2 arguments.

while inferring the type of \p ->                                   
                              case p of                             
                                (Two (Person n) (Person n2 a2)) -> n
                                _ -> "Unknown"                      
in value declaration getName

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