úÎqnon-portable (rank-2 types) experimentalEdward Kmett <ekmett@gmail.com> Safe-Infered         reflection-0.7Data.ReflectionReifiedreflect ReifiedNum reflectNum reifyIntegralreflectTreify$fReifiedStable$fReifiedNumPredTwice$fReifiedNumSuccTwice$fReifiedNumTwice$fReifiedNumZero