This package introduces variouos encodings of free categories in Haskell.
Free categories are useful to model state machines in a simple yet type safe way and for that purpose Kleisli categroies are a very useful target which allows to include monadic computations.
Free Category alternatives and similar packages
Based on the "free" category
Do you think we are missing an alternative of Free Category or a related project?