Data.Vinyl.Constraint

class xs <: ys

type r1 :~: r2

(~=)

type family RecAll el f rs c :: Constraint