functional concept of lift / functional datastructures