Data.Category.Simplex

Simplex Category

data Simplex

data Z

data S n

suc

Functor

data Forget

data Fin

data Add

The universal monoid

universalMonoid

data Replicate f a