Data.Total.Map.Subset

type Subset s k

data TotalSubsetMap s k a

restrict