if you have a union you can provide a constructor ...
# announcements
p
if you have a union you can provide a constructor for each leaf, generically, but not for sealed classes