Use a type annotation, probably with a typedef