:: [String] -> String package:Agda

unwords, but remove empty words first.