Agda-2.3.2.2: test/fail/FrozenMVar2.err

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