pub trait ExProofFnReqEns<R>: ProofFnReqEnsAssoc<ReqEns = R> { type ExternalTraitSpecificationFor: ProofFnReqEns<R>; }