FrozenMVar2.agda:45,9-11
Type mismatch
when checking that the pattern zℕ has type _A_53