@fancy-queen-20734 : one thing we don't do today, but should, would be to fail noisily if the return type of a task doesn't satisfy its constraints