BSD-3-Clause licensed by James Cook, Oleg Grenrus
Maintained by Oleg Grenrus
This version can be pinned in stack with:some-1.0.1@sha256:91153e112a3ba1bac375da0e771475efa9514f081fa80065ea7c8fdd2df7dd9e,2018
Depends on 2 packages(full list with versions):
Used by 1 package in lts-15.3(full list with versions):

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.



  • One less unsafeCoerce (thanks to David Feuer)

  • Broken release


  • Split out of dependent-sum
  • Have GADT, Newtype, Church variants
  • Add NFData instance