Fixing the Fibonacci sequence inside Pascal's triangle in a couniverse

This concept is fascinating to me, but I've never used Haskell and was lost about halfway through. Would love to see a simpler approach to explaining the mechanics of how this works.