Data.Vinyl.Relation

class r1 (<:) r2

type r1 :~: r2

(~=)