Здесь http://www.haskell.org/ghc/docs/6.12.1/html/users_guide/deriving.html в секции 7.5.3 написано что возможно автоматическое создание класса Show для GADT, однако компилятор ругается на определение которое не соответствует Haskell-98.
Компилятор : ghc-6.10.4
Интересует возможность использования deriving для GADT, или объяснение того факта что в документации такая возможность описана.