On Saturday 21 May 2011 16:17:53, Paolo G. Giarrusso wrote: > > Moreover, the proposed solution not always works. > Neither of these work: > let f :: x -> x; g :: y -> y; (f, g) = (id, id) > let f :: x -> x; g :: y -> y; (f, g) = (f, g) Requires -XNoMonoPatBinds