Использование GADT в реальном мире

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

Пример, приведенный в викибуке haskell

11116215] слишком короток, чтобы дать мне представление о реальных возможностях GADT.