Реальное использование GADT

Как я могу использовать Обобщенный алгебраический тип данных?

Пример, приведенный вHaskell Wikibook слишком коротко, чтобы дать мне представление о реальных возможностях ГАДТ.