úÎ}™     Safe%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 pat input pattern matches input against the given pat.  NoneµNone] ºImporter monad$Register a name with the name cache.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.3-AmeHWkywiDyHac8dEW0HEa#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 starTypeNameconstraintTypeNamenilNameconsNameImporter registerNamefromTypeFamilytemplate-haskellLanguage.Haskell.TH.SyntaxType fromTypeOnly fromNameOnly