not-apply : Bool -> Bool
not-apply = (\b -> not b)   -- use lambda

not-apply : Bool -> Bool
not-appy b = not b          -- not use lambda