Mandler compilations