WIP: a partly correct implementation of compose_all