removed old type-level functions not used anymore