@hackage yoko0.3

Generic Programming with Disbanded Data Types