* Abstract from_CFType_pairs over TCFTypes