Use types more precisely