extensible-sp (hackage): The extensible-sp module provides a simple and straight-forward interface to anonymous, extensible sum types (e.g., Either) and product types (e.g., (,)).  Generalizations to higher kinded types are provided as well.
Keywords: data|library|mit