Could we avoid this tilde (`~`) trick? It seems not very readable.