Type.Set

data Set a

type family AsSet a

type family AsSet' a

type family ToList s