haskell magic