Seisenberger: removing the unused argument `All∷ ws` from `higman`.