fun f x = x
val _ = f (0w1: Word8.word)
val _ = f (0w1: Word.word)