**Puzzle MD1**. Expanding on what Dan Piponi discusses in his blog post [*Profunctors in Haskell* (2011)](http://blog.sigfpe.com/2011/07/profunctors-in-haskell.html?m=1), we have that \\((- \multimap -) : \mathcal{V} \nrightarrow \mathcal{V} \\) is a \\(\mathcal{V}\\)-profunctor. If I have another \\(\mathcal{V}\\)-profunctor \\(F : A \nrightarrow \mathcal{V}\\), what is \\((- \multimap -) \circ F\\)?