Merge branch 'sparse'HEADmaster

1 files changed, 7 insertions, 1 deletions

diff --git a/src/Data.hs b/src/Data.hs
index e86aaa6..e6978c8 100644
--- a/src/Data.hs
+++ b/src/Data.hs
@@ -8,12 +8,13 @@
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
-module Data (module Data, (:~:)(Refl)) where
+module Data (module Data, (:~:)(Refl), If) where
 
 import Data.Functor.Product
 import Data.GADT.Compare
 import Data.GADT.Show
 import Data.Some
+import Data.Type.Bool (If)
 import Data.Type.Equality
 import Unsafe.Coerce (unsafeCoerce)
 
@@ -184,3 +185,8 @@ instance Applicative Bag where
 
 instance Semigroup (Bag t) where (<>) = BTwo
 instance Monoid (Bag t) where mempty = BNone
+
+data SBool b where
+  SF :: SBool False
+  ST :: SBool True
+deriving instance Show (SBool b)