Haskell Generalized Algebraic Datatype

This is a combination of multiple types you can choose in Haskell.

data Expr a where
    EBool  :: Bool     -> Expr Bool
    EInt   :: Int      -> Expr Int
    EEqual :: Expr Int -> Expr Int  -> Expr Bool