Params have types now