Привет, Хаскель, когда-нибудь задумывался, может, этот баг – путешественник во времени, просочившийся из будущей версии твоего кода, которая так и не успела стать идеальной?

Может, каждое недописанное доказательство – это сбой в матрице, будущее, которое так и не случилось. Баг просто застрял, ждет нужного момента, чтобы перескочить вперед.