Only store one of the given types, you could imagi...

# arrow

[thanerian]

Only store one of the given types, you could imagine a Coproduct as an anonymous sealed class and fold is like the exaustive use of when expresion over it