-- | The @area@ element of a OSM file.moduleData.Geo.OSM.Area(Area,area)whereimportText.XML.HXT.Arrow.PickleimportText.XML.HXT.ExtrasimportData.Geo.OSM.Accessor.Maximum-- | The @area@ element of a OSM file.newtypeArea=AreaStringderivingEq-- | Constructs a @area@ with maximum.area::String-- ^ The @area@ element.->Areaarea=AreainstanceXmlPicklerAreawherexpickle=xpElem"area"(xpWrap(area,\(Arear)->r)(xpAttr"maximum"xpText))instanceShowAreawhereshow=showPickled[]instanceMaximumAreawheremaximum(Areax)=xsetMaximuma(Area_)=areaa