New answers tagged


I'm having a little trouble exactly what question you're asking, but I think it might help if we went through the connection between homomorphisms and free theorems. But here's the executive summary of what I think you want to know: The fmap laws are not redundant when you have free theorems. On the contrary, you need fmap to state the free theorem for any ...

Top 50 recent answers are included