-- This implementation of sets sits squarely upon Data.FiniteMap.
--
-----------------------------------------------------------------------------
-- This implementation of sets sits squarely upon Data.FiniteMap.
--
-----------------------------------------------------------------------------