1.7 Coproduct types

Warning

Coproduct types are currently not supported in rzk.

This is a literate Rzk file:

#lang rzk-1