Seisenberger/HigmanFinite: in `bar∷bars`, `u` is removed.