Programación Funcional - Árboles en Haskell

Hola, que tal, tengo unos ejercicios en Haskell sobre árboles y me han surgido unas dudas, a ver si alguno que sepa me puede dar una ayuda:
1)

data Arbol a = Vacio | Rama a (Arbol a) (Arbol a)
deriving (Show, Eq)

arbol1 = Rama 'a' (Rama 'b' (Rama 'd' Vacio Vacio) (Rama 'e' Vacio Vacio)) (Rama 'c' Vacio (Rama 'f' (Rama 'g' Vacio Vacio) Vacio ))

Me pide que determine que valores toma la variable arbol 1 ? no logro comprender a que variable se refiere porque solo está declarada arbol1.

2)

data Arbol a = Vacio | Rama a (Arbol a) (Arbol a)
deriving (Show, Eq)

arbol2 = Rama 'a' (Vacio Vacio )

Corresponde a un árbol binario con sólo el nodo raíz?

3)

arbol3=null que es lo que hace? es posible declararla?

Muchas gracias.

ooooo