úÎ £      Safe%]FType expression Type atom substitute name typ exp replaces all occurences of name in exp with typ.  Just like   but for more variables. <Try to reduce the given type expression as much as possible.match pattern input pattern matches input against the given pattern.familyExp n impl' creates a type family expression with n$ parameters and the implementation impl.   NoneýNone] 4.Construct a type expression for a type family.Get the type expression for a .Get the type expression for a .None] }          ! "-type-interpreter-0.0.0-LWeuDgCjJ6b7XQtsYQzzKG#Language.Haskell.TH.TypeInterpreter.Language.Haskell.TH.TypeInterpreter.Expression)Language.Haskell.TH.TypeInterpreter.Names*Language.Haskell.TH.TypeInterpreter.ImportTypeExpAtomApplyVariableSynonymFamilyTypeAtomIntegerStringName PromotedName substitute substituteAllreducematch familyExpfromTypefromName arrowTypeNameequalityTypeName listTypeName starTypeNameconstraintTypeNamenilNameconsNamefromTypeFamilytemplate-haskellLanguage.Haskell.TH.SyntaxType