Control.IndexT.Function

type family ResultT (n :: Nat) a

type family FuncN (n :: Nat) a

type FuncConstraint n a

type HomoFuncConstraint n a

type family HomoArgFuncConstraint (n :: Nat) a :: Constraint

class IsFunc n a

class IsHomoFunc n a

class IsHomoArgFunc n a