Soft types for template meta-programming. - Ian Lynagh (2006)