not : Bool !$\rightarrow$! Bool
not false = true
not x     = false