Type safety for interpolation