Resolved problem with haddock. Comments on GADT constructors are not supported.