Is there a way to tell, let's say, how many constructors there are for a type?  Or do I need one of the haskell extensions I've read about?