Control.Some

Free existential quantification

data Some