Minor additions to ArgPassing.hs