not : Bool -- Bool
    =: [
    { case
        | True  -> False
    }
]