ú΢\     !Conversions between datatypes in type-combinators$ and singletons from  singletons and orphan instances.(c) Justin Le 2017BSD-3 justin@jle.imunstableportableNone&',-;=>?FST]ÃTypeclass for type-combinator5 types that can be converted to and from singletons. Convert a type-combinator= type that is equivalent to a singleton into its equivalent . Convert a  into its equivalent type-combinator type.  Convert a  for as into a  representing the length of as. as is equivalent to   as, so this is basically   ::  as ->   as   =  ( ) .  QThis function is one-way, since the actual run-time information on the types in as is lost. Convert   k from  singletons' into the more generic representation ! , from type-combinators.#Convert the generic representation !  from type-combinatprs to   k, from  singletons. Convert a " a from  singletons' into the more generic representation # $ a.#Convert the generic representation # SIngI a from type-combinators to " a from  singletons.%&     '(%&)      !"#$%&'($)*+',-./012345:type-combinators-singletons-0.2.1.0-IGLRspVYY5l8qZfC6xULYZData.Type.Combinator.Singletons'singletons-2.3.1-4TIQmClmYDBB5XDQNwWh6tData.SingletonsSing $fOrd1kSing $fEq1kSing$fWitness(%%)SingISing $fKnownkSingaTCfromTCtoTCSNSSym0SSym1ZSym0 singLengthsingSomesomeSingsingWit1wit1Sing $fSingINS $fSingINZ $fSingKindN!$fSuppressUnusedWarnings(->)SSym0$fTCMaybeOption $fTCEither:+: $fTC(,):*:$fTCNNat$fTCBoolBoolean $fTC[]Prod/type-combinators-0.2.4.3-3R2Zc1zHPEHI2ms5lHwgX2Data.Type.LengthLengthData.Type.ProductProdbase Data.ProxyProxyType.Class.Highermap1GHC.BaseconstSomeSingSome SingInstanceType.Class.WitnessWit1SingISZSSSSym0KindInference D:R:DemoteN