val map3 : 'a1t->'a2t->'a3t->f:('a1->'a2->'a3->'b)->'bt
val map4 :
'a1t->'a2t->'a3t->'a4t->f:('a1->'a2->'a3->'a4->'b)->'bt
val map5 :
'a1t->'a2t->'a3t->'a4t->'a5t->f:('a1->'a2->'a3->'a4->'a5->'b)->'bt
val map6 :
'a1t->'a2t->'a3t->'a4t->'a5t->'a6t->f:('a1->'a2->'a3->'a4->'a5->'a6->'b)->'bt
val map7 :
'a1t->'a2t->'a3t->'a4t->'a5t->'a6t->'a7t->f:('a1->'a2->'a3->'a4->'a5->'a6->'a7->'b)->'bt
val map8 :
'a1t->'a2t->'a3t->'a4t->'a5t->'a6t->'a7t->'a8t->f:('a1->'a2->'a3->'a4->'a5->'a6->'a7->'a8->'b)->'bt
val map9 :
'a1t->'a2t->'a3t->'a4t->'a5t->'a6t->'a7t->'a8t->'a9t->f:('a1->'a2->'a3->'a4->'a5->'a6->'a7->'a8->'a9->'b)->'bt
val map10 :
'a1t->'a2t->'a3t->'a4t->'a5t->'a6t->'a7t->'a8t->'a9t->'a10t->f:('a1->'a2->'a3->'a4->'a5->'a6->'a7->'a8->'a9->'a10->'b)->'bt
val map11 :
'a1t->'a2t->'a3t->'a4t->'a5t->'a6t->'a7t->'a8t->'a9t->'a10t->'a11t->f:
('a1->'a2->'a3->'a4->'a5->'a6->'a7->'a8->'a9->'a10->'a11->'b)->'bt
val map12 :
'a1t->'a2t->'a3t->'a4t->'a5t->'a6t->'a7t->'a8t->'a9t->'a10t->'a11t->'a12t->f:
('a1->'a2->'a3->'a4->'a5->'a6->'a7->'a8->'a9->'a10->'a11->'a12->'b)->'bt
val map13 :
'a1t->'a2t->'a3t->'a4t->'a5t->'a6t->'a7t->'a8t->'a9t->'a10t->'a11t->'a12t->'a13t->f:
('a1->'a2->'a3->'a4->'a5->'a6->'a7->'a8->'a9->'a10->'a11->'a12->'a13->'b)->'bt
val map14 :
'a1t->'a2t->'a3t->'a4t->'a5t->'a6t->'a7t->'a8t->'a9t->'a10t->'a11t->'a12t->'a13t->'a14t->f:
('a1->'a2->'a3->'a4->'a5->'a6->'a7->'a8->'a9->'a10->'a11->'a12->'a13->'a14->'b)->'bt
val map15 :
'a1t->'a2t->'a3t->'a4t->'a5t->'a6t->'a7t->'a8t->'a9t->'a10t->'a11t->'a12t->'a13t->'a14t->'a15t->f:
('a1->'a2->'a3->'a4->'a5->'a6->'a7->'a8->'a9->'a10->'a11->'a12->'a13->'a14->'a15->'b)->'bt