PatternSynonymUnderapplied.agda:11,3-7 Too few arguments to pattern synonym PatternSynonymUnderapplied.suc' when checking that the clause f suc' = zero has type Nat → Nat