Class EndoK<M extends MonadRec<?,​M>,​A,​MA extends MonadRec<A,​M>>