Monadify typecheck/TcTyClsDecls: use return and standard monad functions