diff --git a/src/Data/Bool.hs b/src/Data/Bool.hs index 88a3b9d..179b2ca 100644 --- a/src/Data/Bool.hs +++ b/src/Data/Bool.hs @@ -14,12 +14,10 @@ -- | Defines the boolean type and logical operators module Data.Bool where - import Data.Kind (Type) import Data.TypeClass (Eq(..), Enum, Show) import GHC.Types (Bool(..)) import Data.Singletons.TH -import Data.Singletons.Prelude.Enum class IfThenElse b where