Introduce the HowMany type to simplify API