interface Interpolation a where
interpolate : a -> String
How a value is rendered when it appears inside an interpolated string. Unlike show, interpolate adds NO quoting around a String, so "hi \{name}" splices name verbatim. An interpolated expression must have an Interpolation instance for its type.