Attempt for arrow formatting in Pretty.ml, disabled (back=false).