DenomInfoShape: TypedPattern<DenomInfo<any, any>> = ...