@hackage clean-unions0.1

Open unions without need for Typeable