¿Se pueden usar rasgos en D para las clases de tipos?

Soy nuevo en D, y estoy buscando una buena manera de programar con clases tipo Haskell, p. Ej. Functores, monoides, etc. en D. Se implementa algo como esto en Tango o Phobos? He oído sobre rasgos que permiten la verificación de tipos en ...