data Bool () where {
    True : Bool ()
    False : Bool ()
};

toBool = case 0 of {
    0 => False;
    _ => True;
};