Agda-2.3.2.2: test/fail/WrongDotPattern.err
WrongDotPattern.agda:12,4-8 zero != suc n of type Nat when checking that the given dot pattern zero matches the inferred value suc n
WrongDotPattern.agda:12,4-8 zero != suc n of type Nat when checking that the given dot pattern zero matches the inferred value suc n