Hi there. My name is Sandy Maguire and you might know me from my blog where I write about type-level programming in Haskell.One of purely functional programming's greatest strengths is its powerful abstraction capabilities. We proudly exclaim that our functions are referentially transparent, and because of that, our bugs will always be shallow. And this is often true.