effects-0: 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) m a (Set a)Source