> And Haskell's type system is not as expressive as D's. E.g. records.

Please, don't go there. D lacks add types and anything that isn't a first order type. Its type derivation also isn't even remotely as powerful.