Class IdentityT<M extends MonadRec<?,​M>,​A>