add instance Monad (Arg a)