,8      !"#$%&'()*+,-./01234567None!"'(+23468:=JKM TUse this box unless you know for certain that your types won't have a show instance.*Most generic box, can be used on any type.Equivalent to prelude's "take" Equivalent to prelude's "drop""For construction from lists$For converting into a list&5Used only for the HList class to determine its length*The heterogenous list8WTypeable is scary and I don't understand what's going on. Hopefully this is correct :)}9: ; !"#$%&'()*+,8<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~-  !"#$%&'()*+,-*,+&'"#$% !()  l9: ; !"#$%&'()*,+8<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~+None!"'(2346:=JKM-./-./-./ -./None!"'(23468:<=JKM6 creates an HVector from an HList. For example:012345678  !"#$%&'()*+,-./012345673456012701234567      !"#$%&'()*+,-../01233456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~vector-heterogenous-0.2.0Data.Vector.Heterogenous.HListData.Vector.Heterogenous.UnsafeData.Vector.HeterogenousToNat1FromNat1Nat1BoxNat1SuccZeroConcat++Index:!ReverseLength1LengthMap Replicate DistributeHAppendUnHListHConsShowBoxAnyBoxDowncastdowncast downcastAs ConstraintBoxbox unsafeUnboxHTake1htake1HDrop1hdrop1 List2HList list2hlist HList2List hlist2listHLengthhlengthTypeListtypeListHList:::HNil UnsafeHVectorunhvecViewview ValidHVectorHVectorgetvecvectoHList hlistTyConTake1Take Replicate1TFCo:R:ToNat120TFCo:R:ToNat119TFCo:R:ToNat118TFCo:R:ToNat117TFCo:R:ToNat116TFCo:R:ToNat115TFCo:R:ToNat114TFCo:R:ToNat113TFCo:R:ToNat112TFCo:R:ToNat111TFCo:R:ToNat110TFCo:R:ToNat19TFCo:R:ToNat18TFCo:R:ToNat17TFCo:R:ToNat16TFCo:R:ToNat15TFCo:R:ToNat14TFCo:R:ToNat13TFCo:R:ToNat12TFCo:R:ToNat11TFCo:R:ToNat10TFCo:R:FromNat1SuccTFCo:R:FromNat1Succ0TFCo:R:FromNat1Succ1TFCo:R:FromNat1Succ2TFCo:R:FromNat1Succ3TFCo:R:FromNat1Succ4TFCo:R:FromNat1ZeroTFCo:R:Take1Succ:TFCo:R:Take1ZeroxsTFCo:R:Concatk:TFCo:R:Concatk[] TFCo:R:++k:ysTFCo:R:++k[]ysTFCo:R:Indexk:SuccTFCo:R:Indexk:Zero TFCo:R::!kxsnTFCo:R:Reversek:TFCo:R:Reversek[]TFCo:R:Length1k:TFCo:R:Length1k[]TFCo:R:Lengthkxs TFCo:R:Mapkf:TFCo:R:Mapkf[]TFCo:R:Replicate1kSuccxTFCo:R:Replicate1kZeroxTFCo:R:ReplicateknxTFCo:R:Distributekk1:aTFCo:R:Distributekk1[]aTFCo:R:HAppendHListHListTFCo:R:UnHList*HListTFCo:R:HConsxHList$fConstraintBoxShowBoxa $fShowShowBox$fDowncastHListbox$fDowncastHLista$fHTake1Nat1BoxHListHList$fHTake1Nat1BoxHListHList0$fHDrop1Nat1BoxHListHList$fHDrop1Nat1BoxHListHList0$fList2HListx:$fList2HListx[]$fHList2ListHLista$fHList2ListHLista0$fHLengthHList$fHLengthHList0$fTypeListHList$fTypeListHList0 $fMonoidHList$fMonoidHList0 $fOrdHList $fOrdHList0 $fEqHList $fEqHList0 $fShowHList $fShowHList0 ShowIndexUnsafeHVectorWritervecwrite UnsafeBox$fShowShowIndex$fShowShowIndex0$fShowUnsafeHVector$fUnsafeHVectorWriterHList$fUnsafeHVectorWriterHList0Empty HListBuilder buildHListIndexer$fViewHVectorproxyret$fViewIndexerEmptyret$fViewIndexerEmptyx$fMonoidHVector$fHListBuilderIndexerHList$fHListBuilderIndexerHList0$fValidHVectorboxxs $fShowHVector