expr_ty <- newFlexiTyVarTy liftedTypeKind
-- Find the classes we want instances for in order to call toAnnotationWrapper
- _typeable_class <- tcLookupClass typeableClassName
data_class <- tcLookupClass dataClassName
-- Check the instances we require live in another module (we want to execute it..)