AmountArgShape: TypedPattern<AmountArg> = ...