extensible-sp

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.