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