use quantify_n when typing mutually recursive binding groups
use quantify_n when typing mutually recursive binding groups

Ignore-this: 5fdbfd9780fd29ae74dfd5330d079a5a

darcs-hash:20090226061250-1a7c6-e7902c48440487d555c5cd52aeaa7adfec342909

jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc