blob: eaf03642354342126964faea29ef6123e70269cb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE MultiParamTypeClasses, DataKinds, FunctionalDependencies,
KindSignatures, PolyKinds, FlexibleInstances, FlexibleContexts,
UndecidableInstances #-}
module T9106 where
import GHC.TypeLits
class FunctorN (n :: Nat) f (a :: *) (fa :: *) | n f a -> fa where
instance FunctorN 0 f a a where
instance FunctorN n f a (f fa)
|
