Squash a warning

ekmett · Jul 3, 2018 · 9d4ecf2 · 9d4ecf2
1 parent 5dd67f7
commit 9d4ecf2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Control/Lens/Type.hs b/src/Control/Lens/Type.hs
@@ -462,7 +462,7 @@ type Prism' s a = Prism s s a a
 --
 -- Note: Composition with an 'Equality' is index-preserving.
 #if __GLASGOW_HASKELL__ >= 800
-type Equality (s :: k1) (t :: k2) (a :: k1) (b :: k2) = forall k3 (p :: k1 -> k3 -> *) (f :: k2 -> k3) .
+type Equality (s :: k1) (t :: k2) (a :: k1) (b :: k2) = forall k3 (p :: k1 -> k3 -> Type) (f :: k2 -> k3) .
 #elif __GLASGOW_HASKELL__ >= 706
 type Equality (s :: k1) (t :: k2) (a :: k1) (b :: k2) = forall (p :: k1 -> * -> *) (f :: k2 -> *) .
 #else