interface Interpolation a where
interpolate : a -> String
Comment une valeur est rendue lorsqu'elle apparaît à l'intérieur d'une chaîne interpolée. Contrairement à show, interpolate n'ajoute AUCUN guillemet autour d'une String, donc "hi \{name}" insère name tel quel. Une expression interpolée doit posséder une instance Interpolation pour son type.