Algebra.Enumerable

class Enumerable a

universeBounded

data Enumerated a