quantification (hackage): Data types and type classes for universally and existentially quantified types
Keywords: bsd3|library|web