forgot to commit new CRig[A] type