@@ -1,4 +1,4 @@
1−{-# LANGUAGE KindSignatures, GADTs, DeriveDataTypeable, RankNTypes, ScopedTypeVariables #-}
1+{-# LANGUAGE KindSignatures, GADTs, DeriveDataTypeable, RankNTypes, ScopedTypeVariables, PolyKinds #-}
22module Data.Functor.Misc where
33
44import Data.GADT.Compare
@@ -9,7 +9,7 @@ import qualified Data.Dependent.Map as DMap
99import Data.Typeable hiding (Refl)
1010import Data.These
1111
12−data WrapArg :: (* -> *) -> (* -> *) -> * -> * where
12+data WrapArg :: (k -> *) -> (k -> *) -> * -> * where
1313 WrapArg :: f a -> WrapArg g f (g a)
1414
1515instance GEq f => GEq (WrapArg g f) where