Shouldn't you annotate the type of the parameters in these signatures?