Data.Type.Index

data Index

elimIndex

ixNil

onIxPred

type a ∈ as

class Elem as a

class Every c as

class Every2 c xs y