added liftApT, hoistApT and hoistApF