úÎ4 0s@      !"#$%&'()*+,-./0123456789:;<=>? None+,:DOQRTf!All elements except the last one.Last element of a list.Append a type to a list.Type associated with a in d . If the key a/ occurs multiple times, the first one is used.Index of type key a in association list d.Helper to define index functions.Helper to define cons functions.Helper to define snoc functions. @ABCDNone +,:DQRTfVector-backed type-map.  Empty vector. "Access an element indexed by type a. O(1)If a is associated to b in the type list d:   @a (v ::  d) :: b jlet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeVector '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello" -Add an element to the beginning of a vector. O(n)  Synonym of  .'Add an element to the end of a vector. O(n) Synonym of .     5 555 NoneNone +,:DQRTfIntMap-backed type-map. Empty vector."Access an element indexed by type a. O(log n)If a is associated to b in the type list d:  @a (v ::  d) :: b glet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeMap '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello"*Add an element to the beginning of a map. O(log n) Synonym of .%Add an element to the end of a list. O(log n) Synonym of .   5555 NoneNone +,:DQRTfList-backed type-map. Empty list.&Access an element indexed by its type a. O(n)If a is associated to b in the type list d:  @a (l ::  d) :: b hlet l = (0 :: Int) <| True <| "Hello" <| empty :: TypeList '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" l"Hello"+Add an element to the beginning of a list. O(1) Synonym of . %Add an element to the end of a list. O(n)! Synonym of  . ! ! ! !55 5!5None+D" Convert from a list to a vector." !" !""None# Convert from a vector to a list.# # ##None %&BDORT *A constant mapping to type a. , (* a)3 is the type of maps from types to values of type a.+^An extensible type family mapping types (as keys) to types of values, parameterized by types x.,Map from types t of kind * to values of type Item x t..Whether the map is empty./Empty type map.0"Insert an element indexed by type t.1"Lookup an element indexed by type t.2Map a function on all elements.3Traverse the map.$%&'()*+,-./012345$%&'()*+,-./012345,-+*./0123)('&$%45$%&'()*+,-./012345None BDORTf:"Insert an element indexed by type t.;"Lookup an element indexed by type t. 6789:;<=>? 6789:;<=>? :;<=8967>?6789:;<=>? None*+,.:;<=,+.:;<=* None*+,.0123,+.0123* NoneBEEEF !""#$%&'()*+,-./""00*+,-./12345617817819: ;<'type-map-0.1.0.0-1mLhY5hPqd5G5G2bkUXfh9Data.TypeMap.Internal.UnsafeData.TypeMap.Internal.VectorData.TypeMap.Internal.MapData.TypeMap.Internal.ListData.TypeMap.ListData.TypeMap.VectorData.TypeMap.Internal.Dynamic!Data.TypeMap.Internal.Dynamic.AltData.TypeMap.StaticData.TypeMap.MapData.TypeMap.Dynamic.AltData.TypeMap.DynamicData.TypeMap.CheckInitLastSnocLookupIndex unsafeIndex unsafeCons unsafeSnoc TypeVectoremptyindexcons<|snoc|>TypeMap'TypeMapTypeListtoVectortoList WithTypeable ItemKleisliItemFunUnTypedTypedOfTypeItemnullinsertlookupmaptraverse withTypeable withTypeRepTyped_base GHC.TypeLitsKnownNatghc-primGHC.PrimAny Data.ProxyProxy Unsafe.Coerce unsafeCoercetypeRep_