úÎP¬*non-portable (rank-2 types, type families) experimentalEdward Kmett <ekmett@gmail.com> Safe-Infered         reflection-0.8Data.ReflectionReified Reflectedreflect ReifiedNum reflectNum reifyIntegralreify$fReifiedStable$fReifiedNumPredTwice$fReifiedNumSuccTwice$fReifiedNumTwice$fReifiedNumZero