Modify to typed-coffee-script