Just noticed a nice blog post about mapping dependent type applications to D. http://www.infognition.com/blog/2015/dependent_types_in_d.html reddit: https://www.reddit.com/r/programming/comments/3f59f4/dependent_types_in_half_of_d/