NoMakeT.CombinedProofs implemented with Sized types