More Unicode fun: permit `→` as a substitute for `->`.
Generalise arguments for state monad functions.