Fixed error in user's manual, gadt section, part about deriving. Data constructor...