anonPattern appendIf applyExpr classConstraint combineWithL combineWithR concatExpr consArity consToPolyPattern consTypeExpressions consVars equalsExpr flatProgToAbstract fromIndex fromIndex0 genericTypeVariable genericTypeVariableName instanceName instances isMonomorphic isPolymorphic isTypeSyn isTypeVar listRestPattern none optimizeSingleConstructor otherwiseExpr returnExpr returnTypeExpr showTypeExpr snd3 theCons typeDeclToName typeDeclToTypeExpr typeVars undefinedConstructorRule unwrapApply varName whenJust