let concat s = String.concat "" s