refined-containers-0.1.0.1: Type-checked proof that a key exists in a container and can be safely indexed.

Index - :

:->Data.IntSet.Refined, Data.HashSet.Refined, Data.Set.Refined