exists (hackage): Existential datatypes holding evidence of constraints
Keywords: bsd3|constraints|library