Натуральные числа и Нео

[lomeo]

Тут подумал, что thesz в рамках

data Nat = Z | S Nat

читается как The (S Z), т.е. The One.

Comments

[inv2004.livejournal.com]

прочитал - не понял. прочитал ещё раз - понял что не пойму никогда.
начал смотреть включив мозг - понял :)

[lomeo.livejournal.com]

Вывод - никогда не говори "никогда"!