úÎÁ ù     None%1]!Type expression Type equation Type atom substitute name typ exp replaces all occurences of name in exp with typ. Just like   but for more variables.DCheck if the given type expression utilizes the given variable name.<Try to reduce the given type expression as much as possible.match pattern input pattern matches input against the given pattern.  NoneåNone] AConstruct a type expression using the equations of a type family.Get the type expression for a 3. Attempts to reduce the resulting type expression.Get the type expression for a .Get the type expression for a 3. Attempts to reduce the resulting type expression.Get the type expression for a .None] [           !"# !$%-type-interpreter-0.1.0-9lkaVOoaIdGDbjxfYHwpW7#Language.Haskell.TH.TypeInterpreter.Language.Haskell.TH.TypeInterpreter.Expression)Language.Haskell.TH.TypeInterpreter.Names*Language.Haskell.TH.TypeInterpreter.ImportTypeExpAtomApplyVariableSynonymFamily TypeEquationTypeAtomIntegerStringName PromotedName substitute substituteAllreducematchfromTypefromName usesVariable arrowTypeNameequalityTypeName listTypeName starTypeNameconstraintTypeNamenilNameconsNamefromTypeFamilytemplate-haskellLanguage.Haskell.TH.SyntaxType fromTypeOnly fromNameOnly