Мне было интересно, можно ли интегрировать мощную систему типов haskell в такой язык, как C, и по-прежнему иметь возможность эффективно программировать на низком уровне?