a_string :: String -> Attribute
a_string a = Attribute (StringAttribute (putString a)) a
a_string :: String -> Attribute
a_string a = Attribute (StringAttribute (putString a)) a
a_string a = Attribute (StringAttribute (putString a)) a