IlltypedPattern.agda:9,5-9
Type mismatch
when checking that the pattern zero has type A