graphted

[Index] For package maintainers and hackage trustees 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.)