hm. I think we could get around a formal notion of unions if we had a maybe pluck. unions are essentially a statically visible box.