groth Tools for functional programming based in category theory and compositionality. Currently under development and intended only for personal use.