+data HType = AggrType String (Maybe (String, HType)) [[(String, HType)]] |
+ -- ^ A type containing multiple fields. Arguments: Type
+ -- name, an optional EnumType for the constructors (if > 1)
+ -- and a list containing a list of fields (name, htype) for
+ -- each constructor.