Data.Vinyl.Witnesses

class Implicit p

data Elem

type IElem x xs

data Subset

type ISubset xs ys