@hackage / extensible-sp

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