Algebra.Indexable
class
C
a
ordCompare
liftCompare
data
ToOrd
a
toOrd
fromOrd