light-weight, extensible sums and products over types and kinds.

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.

extensible-sp.