|
|
|
# Existential Quantifier
|
|
|
|
|
|
|
|
|
|
|
|
this means supporting the 'exists' quantifier as creating existential types much the same way 'forall' can be used in ghc. An example would be
|
|
|
|
|
|
|
|
```wiki
|
|
|
|
type Any = exists a . Typeable a => a
|
|
|
|
|
|
|
|
sameType :: Any -> Any -> Bool
|
|
|
|
sameType x y = typeOf x == typeOf y
|
|
|
|
``` |
|
|
|
\ No newline at end of file |
