Minor correction to the type names in ArgPassing.hs