Interpolation is now applicative