Map of category to its param type for type inference

Properties