Data.Total.Subset

type Subset s k