DenomDetailShape: TypedPattern<DenomDetail> = ...