úδ A*      !"#$%&'()None<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. For construction from lists 6Used only for the HList class to determine its length The heterogenous list 4* + ,  -./0123456789:;<!  !   (* + ,  -./0123456789:;<None=>?@!"AB#CDEFG!"#!"# =>?@!"AB#CDEFGNone( creates an HVector from an HList. For example: HIJKLMN$%&'()OPQRSTUV*  !"#$%&'()%&'($)HIJKLMN$%&'()OPQRSTUVW      !"##$%&&'()*+,-./0123456789:;<==>?@@ABCDEFGHIJKKLMNOPQRSTvector-heterogenous-0.1.0Data.Vector.Heterogenous.HListData.Vector.Heterogenous.UnsafeData.Vector.HeterogenousToNat1FromNat1Nat1SuccZeroConcat++$:!ReverseLengthMap Replicate DistributeUnHListHConsShowBoxAnyBoxDowncastdowncast downcastAs ConstraintBoxbox unsafeUnbox List2HList list2hlistHLengthhlengthHList:::HNil UnsafeHVectorunhvec ValidHVectorHVectorgetvecvectoHListIndexLength1 Replicate1$fConstraintBoxShowBoxa $fShowShowBox$fDowncastHListbox$fDowncastHLista$fList2HListx:$fList2HListx[]$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