úÎ9     !Conversions between datatypes in type-combinators$ and singletons from  singletons.(c) Justin Le 2017BSD-3 justin@jle.imunstableportableNone%&+,9;<=DQR[  Convert a  of s of individual values in as to a  for all as together. Convert a  for as to a  of s of each individual value in as. Convert a  for as into a  representing the length of as. as is equivalent to   as, so this is basically  =  ( ) .   Convert a  singleton for a into the  singleton for a. Convert a  singleton for b to a  singleton for b. Convert a   singleton for n to a  singleton for n. Convert a  singleton for n to a   singleton for n. Convert a ! tupling of  a and  b into a single  for '(a, b). Convert a  of '(a, b) to a ! tupling of  a and  b. Convert a " sum between a  a and  b into a  of a sum (#) of a and b. Convert a  of a sum (#) of a and b to a " sum between  a and  b. Convert an $ of  a to a  of an optional (%) a. Convert a  of an optional (%) a to an $ of  a. & '()'(   & )'(*      !"#$%&'#()*+,-./01#2345#(6789:;:type-combinators-singletons-0.1.0.0-8UEalq66wzsEzQMQ3VKKTnData.Type.Combinator.Singletons%singletons-2.2-6Xhmhx7QYPTLwUVmYMqwoMData.SingletonsSingprodSingsingProd singLengthboolSingsingBool $fOrd1kSing $fEq1kSing$fWitness(%%)SingISing $fKnownkSingaSNSSym0SSym1ZSym0natSingsingNatparSingsingPar choiceSing singChoice optionSing singOption $fSingINS $fSingINZ $fSingKindN!$fSuppressUnusedWarnings(->)SSym0/type-combinators-0.2.4.3-7IEMRoqHSIHG6NRA7fV2vMData.Type.ProductProdData.Type.LengthLengthbase Data.ProxyProxyType.Class.Highermap1GHC.BaseconstData.Type.BooleanBoolean Data.Type.NatNatData.Type.Conjunction:*:Data.Type.Disjunction:+: Data.EitherEitherData.Type.OptionOptionMaybeSSym0KindInferenceSZSSD:R:DemoteRepN