Work on the types