Include generation of `pure Empty` in JoinList