D is for Data types, functional glue.
They’re sums of some products and also some Mu.

powered by hakyll