Class SafeT.Body.More<M extends MonadRec<?,​M>,​A>