Contracts for CoffeeScript