DenomAmountShape: TypedPattern<DenomAmount> = ...