I'm also curious about how the typeclasses work in...

# arrow-contributors

[domfox]

I'm also curious about how the typeclasses work in general - is bind being defined as an extension method on Any locally within the block?