refactor(library/hott): remove unnecessary generalizations
refactor(library/hott): remove unnecessary generalizations