Data.Type.Index
data
Index
elimIndex
ixNil
onIxPred
type
a
∈
as
class
Elem
as a