Algebraically speaking...

It turns out the map is itself such a function that takes an argument of type c -> d (or use your favorite two different type variables). The rest is just algebraic substitution. Suppose we have these two functions (for the sake of ...

Read full post here.