Module type SuperSig.SubSigB