D's type classes pattern ?

[matovitch via Digitalmars-d-learn]

To resume my goal (last lonely message I promise), how can you 
statically check a type implement an interface without making 
this type inherit the interface (otherwise std.traits would do 
it) ?

ps : it seems to me that this is exactly what the haskell 
compiler do with type classes <- layman opinion