>>97My what? Google-fu? This coming from a person who thinks that SML functors are part of the Haskell Language? Truly retarded, I should stop reading your post now. But I'll read one more piece.
By your assumption I don't care bout the actual type of foo
No, by my assumption you don't need to call a function whose name depends on that type. Whether or not you need to care about its type depends on the concrete algorithm. For example, Oleg Kiselyov has a beautiful piece on generic zippers where he does not give a single flying fuck about the type of the thing he's zipping on - he only needs to have its traversal function. But yeah, if you want to prepend stuff to
foo
, you probably need to know its type - but you shouldn't have to use some shitty ungeneric function just to find the damn length of it. The programmer has been spared a bit of free time and a modicum of frustration, thank God!
I'm tired of your stupidity now and will not read any further.