chaged wrap to liftF while lifting into Free structures