BindNReturn documentation error #19316
Description
The documentation for BindNReturn gives this as its signature:
(M<'T1> * M<'T2> * ... * M<'TN> * ('T1 * 'T2 ... * 'TN -> M<'U>)) -> M<'U>
In fact, I believe the signature should be:
(M<'T1> * M<'T2> * ... * M<'TN> * ('T1 * 'T2 ... * 'TN -> 'U)) -> M<'U>
That is, the supplied function returns a pure 'U. The examples given in the sample ApplicativeBuilder also agree that the supplied function returns pure values.