module Data.Logic where

class Logic a where
    and   :: a -> a -> a
    or    :: a -> a -> a
    not   :: a -> a

(∧) :: Logic a => a -> a -> a
(∧) = Data.Logic.and

(∨) :: Logic a => a -> a -> a
(∨) = Data.Logic.or

infixr 3 ∧
infixr 2 ∨
