Please read the API documentation.
This is based on the Functional Pearls: Diets for Fat Sets by Martin Erwig.
diet