ChainAddressShape: TypedPattern<ChainAddress> = ...