Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF {
    value: AppliedBuiltin(
        Natural,
        [],
        [],
        NzEnv {
            items: [],
        },
    ),
    type: Type,
} != Value@WHNF {
    value: AppliedBuiltin(
        Bool,
        [],
        [],
        NzEnv {
            items: [],
        },
    ),
    type: Type,
}