pi package:selective

A product type where the payload has the type specified with the tag.

Decode (a, b) from a generalised product type.

Decode a value from a generalised product type that has a single tag One.

Encode (a, b) into a generalised product type.

Encode a value into a generalised product type that has a single tag One.