Haskell Is Not Not ML. - Ben Rudiak-Gould; Alan Mycroft; Simon L. Peyton Jones (ESOP, 2006)