Cafelito en HASKELL

Hoy en clase mi profesor puso como ejemplo una definición de datos en Haskell que mezclaba todo tipo de "tipos" (enumerados, registros, etc)...y para mezclarlo que mejor que el ejemplo del "Cafelito", el código es el que sigue:
==============================================================
type Azucar = Bool
type Hielo = Bool

data Cafe = Nube | Sombra | Mitad | Cortado | Solo deriving Show

data Cafelito = Taza Cafe Azucar Hielo deriving Show

puaj :: Cafelito
puaj = Taza Nube True True

hmmm :: Cafelito
hmmm = Taza Mitad False False

--Porque el que echa azúcar al café, no le gusta el café.
==============================================================
El código está testeado y comprobado (WinGhCi/WinHugs) lo que me hace mucha gracia es el nombre de las funciones que puso como ejemplo (puaj y hmmm), haciendo referencia a sus gustos por el café...pues según el mismo (como dice el comentario en el código) "el que le echa azúcar al café, es que no le gusta el café".