Comment by Flow

I feel that same confusion as you. In Haskell terms, what is it Rich have implemented or perhaps even invented?