Sign in
opensecura
/
3p
/
nicta
/
cogent
/
refs/heads/master
/
.
/
cogent
/
src
/
Data
/
Ex.hs
blob: 2a21e3a8413a13610e8e0564c44eac19c24cc3b9 [
file
] [
log
] [
blame
] [
edit
]
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
module
Data.Ex
where
data
Exists
::
(
k
->
*)
->
*
where
ExI
::
l v
->
Exists l
