Working on structure, with POPL as example