@@ -74,7 +74,7 @@ dataMaybe :: ModuleName
74dataMaybe = ModuleName [ ProperName "Data", ProperName "Maybe" ]
74dataMaybe = ModuleName [ ProperName "Data", ProperName "Maybe" ]
76typesProxy :: ModuleName
76typesProxy :: ModuleName
77−typesProxy = ModuleName [ ProperName "Types", ProperName "Proxy" ]
77+typesProxy = ModuleName [ ProperName "Type", ProperName "Proxy" ]
79deriveGeneric :: (Functor m, MonadError MultipleErrors m, MonadSupply m) => ModuleName -> [Declaration] -> ProperName -> [Type] -> m [Declaration]
79deriveGeneric :: (Functor m, MonadError MultipleErrors m, MonadSupply m) => ModuleName -> [Declaration] -> ProperName -> [Type] -> m [Declaration]
80deriveGeneric mn ds tyConNm args = do
80deriveGeneric mn ds tyConNm args = do