that’s simply sealed classes. You can expand them ...
# arrow
p
that’s simply sealed classes. You can expand them with when or with a fold function Arrow can generate. Whichever syntax you prefer