class Implicit p

data Elem

type IElem x xs

type x ∈ xs