Monadify typecheck/TcPat: use return and standard monad functions