Benjamin Franksen wrote: > Please note that implicit parameters -- at least as currently implemented in > GHC -- have a number of severe problems. Does anyone have examples of these? This one scares the foo out of me: >> * It's not even safe in general to add a signature giving the same type >> that the compiler would infer anyway Jim