Interface MonadBase<M extends MonadRec<?,​M>,​A,​MB extends MonadBase<?,​?,​MB>>