Tc monad converted to monad transformer