Allowing custom singleton types (ValueOf[T])

[soronpo]

OK, so checkout this proposal if it fits you:

Pre-SIP: Custom dependent operation types

Introduction Scala 3 supports various type-level operations via compiletime.ops.*. The great thing about them is that they compose well (e.g. val i : 1 + 2 * 3 = 7 ), as we expect from their equivalent term-level operations. But we have two problems: What do we do when an operation we want isn’t supported? What do we do when we have a new custom type that we want to have type-level operations on? There is a limit how much we can hard-code into the compiler, so how do we achieve the required f…