úÎ l ¯     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. 6Used only for the HList class to determine its length The heterogenous list ( !"#$ %&'()*+,-.     !"#$  %&'()*+,-.None/0123456789 /0123456789None creates an HVector from an HList. For example: :;<=>?@ABCDEFGH :;<=>?@ABCDEFGHI      !"#$  %&'()*+,-.//01223456789:;<==>?@ABCDEFvector-heterogenous-0.0.1Data.Vector.Heterogenous.HListData.Vector.Heterogenous.UnsafeData.Vector.HeterogenousToNat1FromNat1Nat1SuccZeroShowBoxAnyBoxDowncastdowncast downcastAs ConstraintBoxbox unsafeUnboxHLengthhlengthHList:::HNil UnsafeHVectorunhvecHVectorgetvecvecIndex:!++ReverseMoveRLengthMap Replicate1 Replicate Distribute$fConstraintBoxShowBoxa $fShowShowBox$fDowncastHListbox$fDowncastHLista$fHLengthHList$fHLengthHList0 $fMonoidHList$fMonoidHList0 $fShowHList $fShowHList0 ShowIndexUnsafeHVectorWritervecwrite UnsafeBox$fShowShowIndex$fShowShowIndex0$fShowUnsafeHVector$fUnsafeHVectorWriterHList$fUnsafeHVectorWriterHList0ViewviewEmpty HListBuilder buildHListIndexertoHList$fViewHVectorSingret$fViewIndexerEmptyret$fViewIndexerEmptyx$fMonoidHVector$fHListBuilderIndexerHList$fHListBuilderIndexerHList0 $fShowHVector