úΑ     non-portable (rank-2 types) experimentalEdward Kmett <ekmett@gmail.com> Safe-Infered       non-portable (rank-2 types) experimentalEdward Kmett <ekmett@gmail.com> Safe-Infered        reflection-0.6Data.Reflection.InternalData.ReflectionReifiedreflectReifiedStorablereflectStorable ReifiedNums reflectNums ReifiedNum reflectNum reifyIntegralreifyIntegrals reifyStorablereflectTreify$fReifiedStable$fUnusedStable$fReifiedStorableStore $fUnusedStore$fReifiedNumsCons$fReifiedNumsNil $fUnusedCons $fUnusedNil$fReifiedNumPred$fReifiedNumSucc$fReifiedNumTwice$fReifiedNumZero $fUnusedPred $fUnusedSucc $fUnusedTwice $fUnusedZero