@hackage free-category0.0.4.1

efficient data types for free categories and arrows

Provide various data types for free categories / type aligned queues, type classes which allow to write abstract categories with side effects (Kleisli like categories). These are useful for encoding type safe state machines. Free arrows are also provided.