@hackage clean-unions0.0

Open unions without need for Typeable