val x : $(mapU string [A, B]) = {A = "hi", B = "bye"} val y = show x