Prelude-v17.0.0
{- Create an empty XML attribute List. -}[] : List { mapKey : Text, mapValue : Text }