It doesn't seem all that crazy to me. I wouldn't be surprised to see an ML programmer write something like datatype name = Name of string and this is just t

It doesn't seem all that crazy to me. I wouldn't be surprised to see an ML programmer write something like datatype name = Name of string and this is just the way to express that in Java.