úÎ K     None %&+,:DQRT   Useful combination of  and          -singleton-bool-0.1.2.0-AC9Ji7jEiNC7wUPPwOQtPZData.Singletons.BoolSBoolIsboolSBoolSTrueSFalsesboolAndsboolOrsboolNoteqToRefleqCast trivialRefl sboolEqRefl $fSBoolIFalse $fSBoolITrue