general type lifting