add a rountine to quantify over several types at once
add a rountine to quantify over several types at once

Ignore-this: 273d275ebe940755ebc5365ad02b0002

darcs-hash:fef120a8f0857406cff15b460ebcca61cf3cd4c6

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc