type :t = 8 {h 16, :t1}