Writing a generic interpolate method; it doesn’t work with structural types, but it does with type classes.