ChainInfoShape: TypedPattern<ChainInfo> = ...