typelevel
Fix minor guide explanation
This is trying to say that there's a Monad[[x] =>> Pull[F, O, x]]. "Forming a monad in R" is shorthand for "the hole in the type constructor is in the spot occupied by R. We should just reword this to avoid confusion.
@mpilquist Thanks for the clarification. I have to let that sink in first :-)
@mpilquist Ok, now I think understand what you were saying.
I was also reading the guide further and it became also clear to me how the relationship between Monad and Pull[F[_], O, R] is meant.
I don't know on the spot how to improve the documentation. Do you have something particular in mind?
PS: Is there some glossar (I don't know if this is the right term) somewhere, which may explains different ways to explain monad or category sayings, e.g. "needs to have an instance of Monad" or "forms a monad in R"?
PPS: (Sorry, for the noise around this)