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