some-1.0.6: Existential type: Some

# some-1.0.6: 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.

Modules

some-1.0.6

- Data
  Submodules
  - Data.EqP
  - GADT
    Submodules
    - Data.GADT.Compare
    - Data.GADT.DeepSeq
    - Data.GADT.Show
  - Data.OrdP
  - Data.Some
    Submodules
    - Data.Some.Church
    - Data.Some.GADT
    - Data.Some.Newtype