argTypes classConstraintsOfQualType consName consVis constructors funcArity funcComment funcName funcNamesOfFDecl funcNamesOfLDecl funcNamesOfStat funcRules funcType funcVis functions hasFunDeps imports instances isBaseType isFunctionalType isIOReturnType isIOType isMultiParamTypeClass isPolyType isPrelude ldeclsOfRule modsOfType progName publicConsNames publicFuncNames publicTypeNames resultType ruleRHS tconsArgsOfType tconsOfType tvarsOfType typeClasses typeCons typeName typeOfQualType typeVis types varsOfExp varsOfFDecl varsOfLDecl varsOfPat varsOfRhs varsOfRule varsOfStat