Math.Combinatorics.Species.Structures

Structure functors

data Void a

data Unit a

data Const x a

data Id a

data (f :+: g) a

data (f :*: g) a

data (f :.: g) a

data Cycle a

data Bracelet a

data Set a

data Star a

data Mu f a

type family Interp f (self :: * -> *) :: * -> *