f = \ ~a -> undefined

f = \ !a -> undefined