How to compare two strings at the type level?

[Bersier]

@dwalend

A possible sidebar: Should there be a type-level standard library with this sort of thing? Would that make sense? (Does it already exist?)

There is scala.compiletime (ops). However, it feels rather incomplete at this time; see

• Scala.compiletime.ops.int limitation
• Custom literal-based singleton types
• This thread