TYPE DRIVEN WORK