DenomAmountShape: TypedPattern<DenomAmount> = ...
""