Type inference works for Refl