This is awesome! Can you give an overview of how this is implemented? I love Haskell.