AnyNatAmountShape: TypedPattern<NatAmount> = ...