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