Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T9106.hs
1 {-# LANGUAGE MultiParamTypeClasses, DataKinds, FunctionalDependencies,
2 KindSignatures, PolyKinds, FlexibleInstances, FlexibleContexts,
3 UndecidableInstances #-}
4
5 module T9106 where
6
7 import GHC.TypeLits
8
9 class FunctorN (n :: Nat) f (a :: *) (fa :: *) | n f a -> fa where
10
11 instance FunctorN 0 f a a where
12
13 instance FunctorN n f a (f fa)
14