@hackage exist0.2.0.0

Dependent sum type

exist