explicitly specify then() call signature to make WebStorm able to type check allers