defn not b = {
    case b of {
        False -> { True }
        True -> { False }
    }
}
defn booli b = {
    case b of {
        False -> { 0 }
        True -> { 1 }
    }
}
defn main = { booli (not False) }