Caip10RecordShape: TypedPattern<Caip10Record> = ...