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