Fixed what does not work

Попробуйте внимательно почитать текст каждого коммита и его содержимое (diff, то есть разницу).
Ну, породить Ord это как писать auto в Coq, читерство.