@hackage/yoko2.0

Generic Programming with Disbanded Data Types