... and I click through the source to find that Mo...
# arrow
b
... and I click through the source to find that MonadDefer is the typeclass I was looking for all along. I really need to generate a typeclass hierarchy diagram much like @tpolecat did for Scala/Cats