úÎA •     Safe%]Type 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 family expression with n parameters and implementation impl.   NoneÕNone] ¶.Construct a type expression for 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.0.1-6uXxWMEASFFtuNRJ1MFIb#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 fromTypeOnly fromNameOnly