Use types with stricter constraints