||| An indexed setoid is a type family equipped with a homogeneous equivalence relation
module Data.Setoid.Indexed

import public Data.Setoid.Indexed.Definition