úÎ! Ê     None&'-.>HSUVXf > 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-bool       +singleton-bool-0.1.5-ILc7I2ZiylMBjb8V7CUi6WData.Singletons.BoolSBoolIsboolSBoolSTrueSFalse fromSBool withSomeSBool reifyBool reflectBool discreteBoolsboolAndsboolOrsboolNoteqToRefleqCast trivialRefl sboolEqRefl $fOrdSBool $fEqSBool $fShowSBool $fSBoolIFalse $fSBoolITrueghc-prim GHC.TypesBool