from a data type point of view yes but I think <@U...
# arrow
r
from a data type point of view yes but I think @simon.vergauwen is referring to the type level value though he may be able to use
Const
instead