Help type inference a little bit.