Haskell

Кролик, если не ошибаюсь, когда-то рассказывал, что в целом в ходе оптимизаций много ненужной метаинформации сохраняется при проходах, но ее в несколько подходов не смогли нормально подчистить