Idea for a Scala macro to make working with tagged types more ergonomic.
As a user, I want to define two variables:
$TYPE
: The name of the new type that we are creating.$CONTENT
: The actual, underlying content of the new type.
This will define a new type called $TYPE
that is a transparent, no-overhead wrapper around a value of type $CONTENT
.