Data.Vinyl.Lens
class RElem r rs i
class RSubset rs ss is
type REquivalent rs ss is js
type r ∈ rs
type rs ⊆ ss
type rs ≅ ss
type rs <: ss
type rs :~: ss