úκ     Safe!"&'(3457>IKLNWCalculates to Nat kinded type describing the index of first argument in second argumentLCalculates to 'True if first type argument contained in second list elementSafe!"&'(3457>IKLNSafe!"&'(3457>IKLN 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_9fCTYZFza37JQ3EPEF05tlData.HSet.TypeLevelData.HSet.Labeled Data.HSetIndexElemNatZSLabeled unLabeledmkLabelContainsHGethgetHSetHSNilHSConshask hgetLabeled haskLabeled $fHGet:eS $fHGet:eZ $fOrdHSet $fOrdHSet0$fEqHSet $fEqHSet0 $fShowHSet $fShowHSet0