úÎÀp5      !"#$%&'()*+,-./01234None<Use 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 '6Used only for the HList class to determine its length )The heterogenous list E56 7 !"#$%&'()*+89:;<=>?@ABCDEFGHIJKLM,  !"#$%&'()*+,)+*'(#$%& !"   556 7 !"#$%&'()+*89:;<=>?@ABCDEFGHIJKLMNoneNOPQ,-RS.TUVWX,-.,-. NOPQ,-RS.TUVWXNone3 creates an HVector from an HList. For example: YZ[\]^_/01234`abcdefg5  !"#$%&'()*+,-./012340123/4YZ[\]^_/01234`abcdefgh      !"#$%&'()*+,--./00123456789:;<=>?@ABCDEFGHIJKLMMNOPPQRSTUVWXYZ[[\]^_`abcdvector-heterogenous-0.1.1Data.Vector.Heterogenous.HListData.Vector.Heterogenous.UnsafeData.Vector.HeterogenousToNat1FromNat1Nat1BoxNat1SuccZeroConcat++$Index:!ReverseLength1LengthMap Replicate DistributeHAppendUnHListHConsShowBoxAnyBoxDowncastdowncast downcastAs ConstraintBoxbox unsafeUnboxHTake1htake1HDrop1hdrop1 List2HList list2hlist HList2List hlist2listHLengthhlengthHList:::HNil UnsafeHVectorunhvec ValidHVectorHVectorgetvecvectoHListTake1Take Replicate1$fConstraintBoxShowBoxa $fShowShowBox$fDowncastHListbox$fDowncastHLista$fHTake1Nat1BoxHListHList$fHTake1Nat1BoxHListHList0$fHDrop1Nat1BoxHListHList$fHDrop1Nat1BoxHListHList0$fList2HListx:$fList2HListx[]$fHList2ListHLista$fHList2ListHLista0$fHLengthHList$fHLengthHList0 $fMonoidHList$fMonoidHList0 $fOrdHList $fOrdHList0 $fEqHList $fEqHList0 $fShowHList $fShowHList0 ShowIndexUnsafeHVectorWritervecwrite UnsafeBox$fShowShowIndex$fShowShowIndex0$fShowUnsafeHVector$fUnsafeHVectorWriterHList$fUnsafeHVectorWriterHList0ViewviewEmpty HListBuilder buildHListIndexer$fViewHVectorSingret$fViewIndexerEmptyret$fViewIndexerEmptyx$fMonoidHVector$fHListBuilderIndexerHList$fHListBuilderIndexerHList0$fValidHVectorboxxs $fShowHVector