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

main : Bool () -> Int ;
main b = case b of {
    False => 0;
    True => 0
}
