[Haskell-cafe] Template Haskell, information about data constructor types

[Simon Peyton-Jones]

| Where typeApp splits a type to find its constructor, ctorTypes gets
| the types of the fields, and dataCtors gets the constructors in a data
| type. Unfortunately reify doesn't seem to work on types. Is it
| possible to do what I am after?

reify takes a Name, not a Type.  Perhaps you mean that reify doesn't work on type constructors?  (E.g. reify ''Maybe).  It should -- if you think it doesn't can you concoct a test case and submit it?

Simon