Agda.Utils.TypeLevel
type family All (p :: k -> Constraint) (as :: [k]) :: Constraint where ...
type family Foldr (c :: k -> l -> l) (n :: l) (as :: [k]) :: l where ...
data ConsMap0
data ConsMap1
type family Constant (b :: l) (as :: [k]) :: [l] where ...
type Arrows as r
type Products as
class Currying as b
data Function
data Constant0
data Constant1