Monadify typecheck/TcClassDcl: use do, return and standard monad functions