Closed programaker closed 5 years ago
It seems that Const can do exactly what our Tag is doing - a phantom type that helps disambiguate implicits of the same type.
Rejected.
We will still need the Phantom types themselves (T1, T2, ...) and the function which helps to create the Arbitrary tagged value. Not much to gain
It seems that Const can do exactly what our Tag is doing - a phantom type that helps disambiguate implicits of the same type.