-- This is copied from the actual implementation in Haskell.
-- So I hide the actual implementation from this namespace:
import qualified Prelude

-- This is all a boolean is in Haskel!
-- It's amazingly simple.
data Bool = False | True
  deriving (Prelude.Show)

-- | Boolean "and", lazy in the second argument
-- >>> True && True
-- True

-- | Boolean "and", lazy in the second argument
-- >>> True && False
-- False

-- | Boolean "and", lazy in the second argument
-- >>> False && True
-- False

-- | Boolean "and", lazy in the second argument
-- >>> False && False
-- False
(&&) :: Bool -> Bool -> Bool
True && x = x
False && _ = False

-- | Boolean "or", lazy in the second argument
-- >>> True || True
-- True

-- | Boolean "or", lazy in the second argument
-- >>> True || False
-- True

-- | Boolean "or", lazy in the second argument
-- >>> False || True
-- True

-- | Boolean "or", lazy in the second argument
-- >>> False || False
-- False
(||) :: Bool -> Bool -> Bool
True || _ = True
False || x = x

-- | Boolean "not"
-- >>> not True
-- False

-- | Boolean "not"
-- >>> not False
-- True
not :: Bool -> Bool
not True = False
not False = True