В целях оной поделки было "менять в привычном подходе к описанию схем как можно меньше". Короче говоря, эта штука добавляет систему типов Хаскеля и алгебраические типы поверх обычного описания нетлистов.

Это не Bluespec, который радикально меняет подход.