restore more specific parameter typehints