correct bug: lift x -> lift $ lift x