Data.Type.Index

data Index

type a ∈ as

class Elem as a