úΑ7      Safe-Inferred!"&'(+2346=HJKMWCalculates to Nat kinded type describing the index of first argument in second argumentLCalculates to 'True if first type argument contained in second list element Safe-Inferred!"&'(+2346=HJKM Safe-Inferred!"&'(+2346=HJKM iHelper typefamily to derive that second argument contained in list of first argument and we can perform   from set.  Typeclass for sets and elements. Get any data from HSet for you QHeterogeneous set (list) of elements with unique types. Usefull with MonadReader.8let x = HSCons (10 :: Int) $ HSCons (20 :: Double) HSNilx#HSCons (10) (HSCons (20.0) (HSNil)) hget x :: Int10hget x :: Double20.0 Note how  r just takes specific element from list of uniqly typed elements depending on what type is required to be returned.]let y = HSCons (Labeled 10 :: Labeled "x" Int) $ HSCons (Labeled 20 :: Labeled "y" Int) HSNilyMHSCons (Labeled {unLabeled = 10}) (HSCons (Labeled {unLabeled = 20}) (HSNil)))hgetLabeled (Proxy :: Proxy "x") y :: Int10)hgetLabeled (Proxy :: Proxy "y") y :: Int20               hset-0.1.2Data.HSet.TypeLevelData.HSet.Labeled Data.HSetIndexElemNatSZLabeled unLabeledmkLabelContainsHGethgetHSetHSConsHSNilhask hgetLabeled haskLabeled $fHGet:eS $fHGet:eZ $fOrdHSet $fOrdHSet0$fEqHSet $fEqHSet0 $fShowHSet $fShowHSet0