Crash.agda:21,9-13
N !=< B of type Set
when checking that the expression zero has type F false