Interface SafeT.Body.Suspended.Φ<M extends MonadRec<?,​M>,​B,​R>