Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T11516.hs
1 {-# language PolyKinds #-}
2 {-# language FlexibleContexts #-}
3 {-# language ConstraintKinds #-}
4 {-# language FlexibleInstances #-}
5 {-# language FunctionalDependencies #-}
6
7 import GHC.Exts (Constraint)
8
9 class Ríki (p :: i -> i -> *)
10 class (Ríki p) => Varpi p q f | f -> p q
11 instance Varpi () () f => Varpi (->) (->) (Either f) where