Why don’t we have a syntactic sugar for
Tuple1[A]? This could potentially be useful since in Dotty,
Tuple1 might be encountered when writing typeful metaprogramming stuff.
(a,) as syntax for creating tuples of 1 element. Why don’t we create the following syntactic sugar for Dotty?
/*type-level*/ (A,) =:= Tuple1[A] /*value-level*/ (a,) : (A,)