At the usage site generics can usually be fully inferred, so something that uses these features may look like a horror show at the implementation site, but when

At the usage site generics can usually be fully inferred, so something that uses these features may look like a horror show at the implementation site, but when you actually use it it will just look like normal string literal types.