Improvements to monadic (L3) ARM model.