Hacker News Reader

The bidiagonal matrix looks like a chain of binary terms. Is there any relation to monads or possibly lenses, or am I making this up?

In fact it is a common way to represent binary trees for financial derivative valuations (and probably other applications), good eye.

With my limited knowledge, I don't see it. Could you elaborate on how you made that connection?