Вложенный алгебраический тип данных Haskell

Я пытаюсь смоделировать следующий простой Scala ADT в Haskell:

sealed trait Value

sealed trait Literal < Value
case object Null extends Literal
case class IntLiteral(value: Int) extends Literal

case class Variable(name: String) < Value

Я моделирую черту Literal:

Prelude> data Literal = Null | IntLiteral Int deriving (Show, Eq)

Все идет нормально:

Prelude> Null
Null
Prelude> Null == IntLiteral 3
False
Prelude> IntLiteral 3 == IntLiteral 3
True

Теперь я пытаюсь представить Variable:

data Value = Literal | Variable String deriving (Show, Eq)

Почему это не работает?

Prelude> Null == Variable "foo"

<interactive>:3:9: error:
    • Couldn't match expected type ‘Literal’ with actual type ‘Value’
    • In the second argument of ‘(==)’, namely ‘Variable "foo"’
      In the expression: Null == Variable "foo"
      In an equation for ‘it’: it = Null == Variable "foo"