-- !!! Illegal ~ in expression
module M where
f x = x ~1