Haskell door Ernst-Erich Doberkat