Algebra.Enumerable
class
Enumerable
a
universeBounded
data
Enumerated
a