Monge heap compiles