type-lifting fix