Hmm that looks like a good idea and yeah I'm not sure I've read that yet. Preciate it! So 2nd thing I wanted to ask, when I see functions like IO.monad() I get super lost. Is that suppose to be a constructor? I feel like half the time I end up going to the arrow source code to find out which functions there are on a typeclass