~    None&(*+03457>CKL;Monad which is a reader of HSet (or just can construct it).Easy generate constraint like ?(HGettable (MHRElements m) Int, HGettable (MHRElements m) Bool) from type list  [Int, Bool]@. Usable to reuse type lists for constraints and concrete HSet.,Ask arbitrary element of hset inside HReader0Ask arbitrary labeled element of hset in HReader  None&(*+03457>CKL Monad transformer which is like  but for  only 2Run a local reader with a subset of HSet elements. Convenient variant of  k with proxy type to make it posible to run nested HReaderT in place without complex type declarations, e.g. narrowHReaderT (Proxy :: Proxy '[String, Int]) $ do doThingsWithString doThingsWithInt doThingsWithOtherStuff -- < this will not compile             !"#hread_ItpOAriO7wkD6RxNFciU9iControl.Monad.HReader.ClassControl.Monad.HReader MonadHReader MHRElementsaskHSetMHRElemsConstrainthask haskTaggedHReaderT unHReaderT runHReaderTsubHSetHReaderTnarrowHReaderT$fMonadHReaderRWST$fMonadHReaderRWST0$fMonadHReaderWriterT$fMonadHReaderWriterT0$fMonadHReaderStateT$fMonadHReaderStateT0$fMonadHReaderExceptT$fMonadHReaderListT$fMonadHReaderContT$fMonadHReaderReaderTtrans_3eG64VdP2vzGjP6wJiCp5XControl.Monad.Trans.ReaderReaderThset_7yvXhnj3alN1AsdydOg7EvData.HSet.TypeHSet$fMonadBaseControlbHReaderT$fMonadTransControlHReaderT$fMonadHReaderHReaderT$fMonadReaderrHReaderT$fMonadTransHReaderT