ForwardInfoShape: TypedPattern<ForwardInfo> = ...