h&1     None '(.>None'(./>dependent-sum-template:Determine the type variables which occur freely in a type. NoneHNone'(.>?|         !"#$%&dependent-sum-template-0.2.0.0-inplaceData.GADT.Compare.THData.GADT.Show.THData.GADT.Compare.MonadData.GADT.TH.Internal GComparinggeq'compare' runGComparing DeriveGShow deriveGShow$fDeriveGShowQ$fDeriveGShow[]$fDeriveGShowDec$fDeriveGShowNameDeriveGComparederiveGCompare DeriveGEQ deriveGEq $fDeriveGEQQ $fDeriveGEQ[]$fDeriveGEQDec$fDeriveGEQName$fDeriveGCompareQ$fDeriveGCompare[]$fDeriveGCompareDec$fDeriveGCompareNamefreeTypeVariablesSkolemclassHeadToParams skolemizereifyInstancesBrokenreifyInstancesWithRigids'reifyInstancesWithRigidssubst deriveForDec headOfType