graphted (hackage):   [Index]  Package maintainers  For package maintainers and hackage trustees  Candidates    Indexed type classes that track operations performed on them. The index parameter then models control flow.  Implements graph-indexed type classes for:  May implement in the future, or may not make sense.  (Essentially: category-extras.)
Keywords: bsd3|comonads|control|library|monads