> If you are talking about a ModDetails, then look in the range of md_types; > the TyThings there include all the data types, classes, and type families > declared in this module Ah, typeEnvTyCons looks like the thing I was looking for. Thanks. Janek