let the compiler deduce the right type