Goal: Implement `StartsWith<T, U>` which takes two exact string types and returns whether `T` starts with `U`. For example: Source challenge: https://github.com/type-challenges/type-challenges/tree/main/questions/02688-medium-startswith Reference explanation: https://github.com/ghaiklor/type-challenges-solutions/blob/main/en/medium-startswith.md