Вывод типа, реализованный на C ++

Существует ли реализация на C ++ Damas- Вывод типа стиля Хиндли-Милнера , предпочтительно с использованием современных методов C ++?