Îõ³h*fÅ     0.1.8 Safe-Inferred )*01ÃÍØÚÛÝëŸsingleton-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-boolsingleton-boolsingleton-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.8-1v3O2V7JwMnDmwAoiQk7x1Data.Singletons.Boolsingleton-boolSBoolIsboolSBoolSTrueSFalse fromSBool withSomeSBool reifyBool reflectBool discreteBoolsboolAndsboolOrsboolNoteqToRefleqCast trivialRefl sboolEqRefl$fOrdPBoolSBool$fEqPBoolSBool$fGReadBoolSBool$fGShowBoolSBool$fGNFDataBoolSBool$fGCompareBoolSBool$fGEqBoolSBool $fNFDataSBool $fOrdSBool $fEqSBool $fShowSBool $fBoringSBool $fSBoolIFalse $fSBoolITrueghc-prim GHC.TypesBool