Anon-portable (rank-2 types, type families, scoped type variables) experimentalEdward Kmett <ekmett@gmail.com> Safe-Infered  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~reflection-0.9Data.ReflectionReified Reflectedreflectreify$fReifiedStable$fBT255$fBT254$fBT253$fBT252$fBT251$fBT250$fBT249$fBT248$fBT247$fBT246$fBT245$fBT244$fBT243$fBT242$fBT241$fBT240$fBT239$fBT238$fBT237$fBT236$fBT235$fBT234$fBT233$fBT232$fBT231$fBT230$fBT229$fBT228$fBT227$fBT226$fBT225$fBT224$fBT223$fBT222$fBT221$fBT220$fBT219$fBT218$fBT217$fBT216$fBT215$fBT214$fBT213$fBT212$fBT211$fBT210$fBT209$fBT208$fBT207$fBT206$fBT205$fBT204$fBT203$fBT202$fBT201$fBT200$fBT199$fBT198$fBT197$fBT196$fBT195$fBT194$fBT193$fBT192$fBT191$fBT190$fBT189$fBT188$fBT187$fBT186$fBT185$fBT184$fBT183$fBT182$fBT181$fBT180$fBT179$fBT178$fBT177$fBT176$fBT175$fBT174$fBT173$fBT172$fBT171$fBT170$fBT169$fBT168$fBT167$fBT166$fBT165$fBT164$fBT163$fBT162$fBT161$fBT160$fBT159$fBT158$fBT157$fBT156$fBT155$fBT154$fBT153$fBT152$fBT151$fBT150$fBT149$fBT148$fBT147$fBT146$fBT145$fBT144$fBT143$fBT142$fBT141$fBT140$fBT139$fBT138$fBT137$fBT136$fBT135$fBT134$fBT133$fBT132$fBT131$fBT130$fBT129$fBT128$fBT127$fBT126$fBT125$fBT124$fBT123$fBT122$fBT121$fBT120$fBT119$fBT118$fBT117$fBT116$fBT115$fBT114$fBT113$fBT112$fBT111$fBT110$fBT109$fBT108$fBT107$fBT106$fBT105$fBT104$fBT103$fBT102$fBT101$fBT100$fBT99$fBT98$fBT97$fBT96$fBT95$fBT94$fBT93$fBT92$fBT91$fBT90$fBT89$fBT88$fBT87$fBT86$fBT85$fBT84$fBT83$fBT82$fBT81$fBT80$fBT79$fBT78$fBT77$fBT76$fBT75$fBT74$fBT73$fBT72$fBT71$fBT70$fBT69$fBT68$fBT67$fBT66$fBT65$fBT64$fBT63$fBT62$fBT61$fBT60$fBT59$fBT58$fBT57$fBT56$fBT55$fBT54$fBT53$fBT52$fBT51$fBT50$fBT49$fBT48$fBT47$fBT46$fBT45$fBT44$fBT43$fBT42$fBT41$fBT40$fBT39$fBT38$fBT37$fBT36$fBT35$fBT34$fBT33$fBT32$fBT31$fBT30$fBT29$fBT28$fBT27$fBT26$fBT25$fBT24$fBT23$fBT22$fBT21$fBT20$fBT19$fBT18$fBT17$fBT16$fBT15$fBT14$fBT13$fBT12$fBT11$fBT10$fBT9$fBT8$fBT7$fBT6$fBT5$fBT4$fBT3$fBT2$fBT1$fBT0