Monadify typecheck/TcDefaults: use return and standard monad functions