Endo
cats
Eq
cats
extract
MonadOptimizer
SemigroupalOptimizer