úÎ m     None  Class for .  Class for .  Class for .  Create a  instance.  The  argument should be a pair; the source and target types for .  Create a - instance with certain types being abstract.  The  argument should be a pair; the source and target types for .  Create a  instance.  The  argument should be a pair; the inner and outer types for .  Create a - instance with certain types being abstract.  The  argument should be a pair; the inner and outer types for .  Create a  instance.  Create a - instance with certain types being abstract. NGenerate TH code for a function that extracts all subparts of a certain type.  The argument to  is a name with the type S -> [T], for some types  S and T2. The function will extract all subparts of type T from S. Same as 4, but does not look inside any types mention in the  list of types. PGenerate TH code for a function that transforms all subparts of a certain type.  The argument to  is a name with the type (S->S) -> T -> T, for some types  S and T4. The function will transform all subparts of type S inside T using the given function. Same as 4, but does not look inside any types mention in the  list of types. E (source, target) types types not touched by  (source, target) types  (inner, outer) types types not touched by  (inner, outer) types  function of type S -> [T] types not touched by  function of type S -> [T] !"#$%&'()*+,-./01234function of type (S->S) -> T -> T 56789:;<=>?@ABCDE    A    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEF      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIgeniplate-0.6.0.3Data.Generics.Geniplate TransformBiM transformBiM TransformBi transformBi UniverseBi universeBiuniverse transform transformMinstanceUniverseBiinstanceUniverseBiTinstanceTransformBiinstanceTransformBiTinstanceTransformBiMinstanceTransformBiMT genUniverseBigenUniverseBiTgenTransformBigenTransformBiTgenTransformBiMgenTransformBiMTtemplate-haskellLanguage.Haskell.TH.LibTypeQMapRetApSubstUinstanceUniverseBiT'funDefinstDefinstanceTransformBiT'instanceTransformBiMT'uniBiQuniBicontains contains' containsConunFunDunFun uniBiCase uniBiList uniBiTupleuniBiConmkArmmkSubstsubst getTyConInfo getNameTypeunList splitTypeApp expandSyn expandSynAppgenErrorraNormalraMonad transformBiGtrBiQarrowtrBitrBiCasetrBiList trBiTupletrBiContrMkArmmEmptymLookupmInsertmElems mFromList $fQuasiStateT