On Thu, Jun 9, 2016, at 15:48, Robert Collins wrote: > and you'd need > to error on any call to a pure function with impure arguments. What do you mean by impure arguments?