%      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ Safe-InferedDThe first part is the name, the second - a list of type parameters, J the third - a list of constructors. For each constructor we have a name , and a list describing constructor fields. Apply  to the name. NoneNone<  !"#$%&'()*+,-./0123456789:;<=>8  !"#$%&'()*+,-./0123456789:;<=>8 !"#$()* >23456789:;<=./01- ,+%&')   !"#$%&'()*+,-./0123456789:;<=>None ?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\?A@HIJKEFGBDCQRSTMNOPL[\ZXYUVW?A@BDCEFGHIJKLMNOPQRSTUVWXYZ[\None1]^_`abcdefghijklmnopqrstuvwxyz{|}~,]^_`abcdefghijklmnopqrstuvwxyz{|}~,]`_^defghabijklmnopqrstuvwxyz{|}~c*]`_^abcdefghijklmnopqrstuvwxyz{|}~        !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFFGHHIJKLLMNOOPQRSTUVWXYZ[\]^_`aabcdefghijkRSTlmnopqrstuvwxyz{|}~ GTALib-0.0.2GTA.Util.TypeInfo)GTA.Util.GenericSemiringStructureTemplateGTA.CoreGTA.Data.BinTreeGTA.Data.JoinListTypeInfotypeInfo simpleNamegenAlgebraDeclgenMapFunctionsDeclgenInstanceDecl genAllDeclRevOrd AddIdentityIdentityGenericSemiringStructure freeSemiringliftedSemiring pairSemiringshom makeAlgebra pairAlgebra freeAlgebrahomfoldingAlgebraGenericSemiringmonoidalgebraCommutativeMonoidoplusidentityBagitemsbag>==>=>>=<filterBy aggregateBy transformBy>##>#><.>result sumproductBy addIdentity maxMonoSumBymaxMonoSumsolutionXBy maxMonoSumKBymaxMonoSumsolutionXKBymaxsumBy maxsumKBymaxsumsolutionXKBymaxsumsolutionXBymaxsumsolutionBymaxsumsolutionKBy maxprodBy maxprodKBymaxprodsolutionXKBymaxprodsolutionXBymaxprodsolutionBymaxprodsolutionKByrevOrdLVTreeLeafLVNodeLVBinTreeBinLeafBinNode LVTreeMapFsleafLVF LVTreeAlgebranodeLVleafLVlvtrees BinTreeMapFsbinNodeFbinLeafFBinTreeAlgebrabinNodebinLeafcountmaxsummaxsumsolution assignTrans assignTreesselectssubtreeSelectsWithRootsubtreeSelectsJoinListNilSingleTimesjoinize dejoinizeSemiringJoinListAlgebratimessinglenilsegsinitstailssubsassignspathsmapJ maxsumWith maxsumKWithmaxsumsolutionXKWithmaxsumsolutionXWithmaxsumsolutionWithmaxsumsolutionKWith maxprodWith maxprodKWithmaxprodsolutionXKWithmaxprodsolutionXWithmaxprodsolutionWithmaxprodsolutionKWithsegsPinitsPtailsPsubsPassignsP crossConcatbagOfSingletonbagOfNilemptyBagbagUniontemplate-haskellLanguage.Haskell.TH.SyntaxnameBase $fOrdRevOrd $fNumRevOrd$fOrdAddIdentity$fEqBag8$fGenericSemiringStructureLVTreeAlgebraLVTreeLVTreeMapFs;$fGenericSemiringStructureBinTreeAlgebraBinTreeBinTreeMapFs $fOrdJoinList $fEqJoinList$fReadJoinList$fShowJoinList>$fGenericSemiringStructureJoinListAlgebraJoinListJoinListMapFs