Monadify typecheck/TcTyFuns: use standard monad functions