hsep package:Agda

Separate, but only if both separees are not null.