Thanks @paulklint & the type checker!