Bool : Type;
Bool = { true false };

broken : Bool -> Bool;
broken = \ b -> case b of {
                 true  -> 'true
               | true  -> 'true
               | false -> 'true };