- cons(mkBind("enumFrom", singleton(pair(singleton(x),
- pair(mkInt(l),
- ap2(nameFromTo,x,last))))),
- /* default instance of enumFromTo is good */
- cons(mkBind("enumFromThen",singleton(pair(doubleton(x,y),
- pair(mkInt(l),
- ap3(nameFromThenTo,x,y,
- ap(COND,triple(ap2(nameLe,x,y),
- last,first))))))),
- /* default instance of enumFromThenTo is good */
- NIL))));