I think eventually, we'll get something like this ...
# random
k
I think eventually, we'll get something like this via "newtypes", right?