úÎÇ ÿ     !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.            !"#$ %&'()*+:type-combinators-singletons-0.2.0.0-8noTwBm9L4w6R0zLXJFmV7Data.Type.Combinator.Singletons'singletons-2.3.1-5xy3y89H6FfI4gWowefe97Data.SingletonsSing $fOrd1kSing $fEq1kSing$fWitness(%%)SingISing $fKnownkSingaTCfromTCtoTCSNSSym0SSym1ZSym0 singLength $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.BaseconstSZSSSSym0KindInference D:R:DemoteN