effects-0.1: Computational Effects
Control.Effects.Set
choose :: (c ~ ContT (Set r) m, AutoLift c n, Monad m, Ord r) => Proxy c -> [a] -> n aSource
set :: (Monad m, Ord a) => Handler (Set a) (Set a) m aSource