@hackage clean-unions0.0.1

Open unions without need for Typeable