Îõ³h$     None'(./?ÉÔÖ×ÙçYsingleton-bool Convert an  to the corresponding .singleton-boolConvert a normal  to an !, passing it into a continuation.withSomeSBool True fromSBoolTruesingleton-boolReify  to type-level.reifyBool True reflectBoolTruesingleton-boolReflect to term-level."reflectBool (Proxy :: Proxy 'True)True singleton-boolDecidable equality./decShow (discreteBool :: Dec ('True :~: 'True)) "Yes Refl" singleton-boolsboolAnd STrue SFalseSFalse singleton-boolsingleton-boolsingleton-boolsingleton-boolUseful combination of  and  singleton-bool2readsPrec 0 "Some STrue" :: [(Some SBool, String)][(Some STrue,"")]3readsPrec 0 "Some SFalse" :: [(Some SBool, String)][(Some SFalse,"")]1readsPrec 0 "Some Else" :: [(Some SBool, String)][]singleton-boolshowsPrec 0 STrue """STrue"singleton-boolsingleton-boolsingleton-boolgeq STrue STrue Just Reflgeq STrue SFalseNothingsingleton-boolsingleton-boolsingleton-boolsingleton-boolsingleton-bool        !"+singleton-bool-0.1.6-5eg1r7MDxWoLb4t7sqRp7nData.Singletons.BoolSBoolIsboolSBoolSTrueSFalse fromSBool withSomeSBool reifyBool reflectBool discreteBoolsboolAndsboolOrsboolNoteqToRefleqCast trivialRefl sboolEqRefl$fGReadBoolSBool$fGShowBoolSBool$fGNFDataBoolSBool$fGCompareBoolSBool$fGEqBoolSBool $fNFDataSBool $fOrdSBool $fEqSBool $fShowSBool $fBoringSBool $fSBoolIFalse $fSBoolITrueghc-prim GHC.TypesBool