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