Free Category

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. Read more here on a simple example of a finite state machine encoded using a free category using a simple GADT. Another simple example.