Functions for combining type parameters on bifunctorial typeclasses.