Магия newtype в Haskell

[@Vjatcheslav3345]

Стоит указать в статье, что С-- (который на схеме в статье) на самом деле два и с разными авторами, один из которых был (и сейчас есть) "хобби-язык".

[@chirkin]

Забавно, первый раз слышу о другом языке с этим названием. Как я вижу, они никак не связаны, и одинаковое название — это чистое совпадение?
Про С-- от Пейтона-Джонса уж точно нельзя сказать, что его можно назвать "хобби-языком" — это почти что писать на LLVM IR.