Let us look at the following code: transformBi (++"asdasd") [1,2,3,4] Clearly, this code does nothing, but it still compiles fine. I would like to create a new version of transformBi that will n...

András Kovács proposed this question in response to an answer to a previous question. In a lens-style uniplate library for types of kind * -> * based on the class class Uniplate1 f where unip...

I'm trying to answer this stackoverflow question, using uniplate as I suggested, but the only solution I've come up with so far is pretty ugly. This seems like a fairly common issue, so I wanted t...