Fixes for monadic variant of ARM model (L3).