Change to an explicit tagged typed
Remove instances for Arg