As part of my Google Summer of Code, I need to get the list of data constructors of a certain data type on a specific scenario.

In my case, I'm getting a value of type Type (by calling exprType). I was expecting to be able to call getInfo directly on that value of type Type, but it doesn't have a name nor the constructors of Type are public. Thus, I'm not able to get that information :(

Thanks in advance,

Alejandro