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
