Type-level interpolations in various forms - View it on GitHub