On Fri, 10 May 2019, David Feuer wrote: > There also needs to be some documentation about the fact that the Arg > constructor allows inspection that does not respect Eq. This follows from Arg's purpose.