#15674: GADT's displayed type is misleading -------------------------------------+------------------------------------- Reporter: AntC | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.6.1-beta1 Resolution: | Keywords: Operating System: Windows | Architecture: x86_64 Type of failure: Poor/confusing | (amd64) error message | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): `:type <expr>` tells you the type of the expression `<expr>`, where `<expr>` can be any old expression, not just a single identifier. On the other hand `:info <name>` gives you information about the declaration of the entity `<name>`. And indeed `:info MkDF`, `:info MkDG` and `:info MkDG2` give you the info that I think you want. This works if the constructors are imported from a library that you can't (easily) see. Does that help? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15674#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler