type inference works!