Parameterizing more types