Functional programming toolbox
Multiple instance derivations inside a single macro annotation
Comprehensions for Arrows and Monoidal categories
An optic library
Universal Data design and transform language core