IncompletePatternMatching.agda:14,1-15,15
Incomplete pattern matching for _==_. Missing cases:
  zero == suc x
  suc x == zero
when checking the definition of _==_
Failed to solve the following constraints:
  True =< zero == suc zero
Unsolved metas at the following locations:
  IncompletePatternMatching.agda:18,7-9
