import public Data.List.Elem
eqElem : (e1 : Elem x xs) -> (e2 : Elem y xs) -> Maybe (e1 = e2)
Checks if elements `x` and `y` are at the same position in list `xs` and thus identical.