Data.Type.Index.Trans

type IxList'

type IxEnv

class IxLift t x

data IxList i

data IxFirst i

data IxSecond i

data IxOr i j

data IxJust i

data IxComp i j

data (k :~: a) b