Conversation

Programs in Jermaine take a list of inputs to a disjoint union of outputs.

So this program takes a sum (s : Either a b) and branches off into two branches, one of which outputs (this : a) and the other (that : b)