Add a type signature for another polymorphic where-binding.