module GHC.Base (module GHC.Base, Bool(..)) where

import GHC.Types

default ()

class Eq a where
    (==), (/=) :: a -> a -> Bool

    x /= y = not (x == y)
    x == y = not (x /= y)

instance Eq Bool where
    False == False = True
    True == True = True
    _ == _ = False

not :: Bool -> Bool
not True  = False
not False = True

inline x = x