Do you like ad-hoc polymorphism like I do?..

Sometimes I feel that C++ is more about doing something that you want in a some weird way and do it on many pages of code.
With Haskell I have another feeling - when I do something with it I understand what I wanted by reading it in a slim snipet of code.
Part of vector-space package from Haskell may look like: