some-1.0.2: Existential type: Some
This library defines an existential type
Some
.
data Some f where
Some :: f a -> Some f
in few variants, and utilities to work with it.
If you are unsure which variant to use, use the one in Data.Some module.