safe-string-interpolation. A type driven approach to string interpolation, aiming at consistent, secure, and only-human-readable logs and console outputs !