IncompletePatternMatching.agda:14,1-15,15
Incomplete pattern matching for _==_. Missing cases:
  zero == suc x
  suc x == zero
when checking the definition of _==_
IncompletePatternMatching.agda:18,7-9
True !=< zero == suc zero of type Set
when checking that the expression tt has type zero == suc zero
