-- partial negation:
pneg :: Bool -> Bool
pneg True = False

-- The main expression to be evaluated:
main :: Bool
main = pneg False