Applicative Laws for the ((->) r) type
seems to work fine I think in your "Identity" proof, you should replace g
with v everywhere (otherwise what is g and where did it come from?).
Similarly, in your "Interchange" proof, things look okay so far, but the g
that magically appears should ju
Date : November 04 2020, 08:15 AM , By : thinga balli