Typing the future