"ML modules and Haskell type classes.A constructive comparison" - читать интересную книгу автора (Wehr S.)