data Bool = { True, False }
defn if c t e = {
    case c of {
        True -> { t }
        False -> { e }
    }
}
defn main = { if (if True False True) 11 3 }