Dal ti protipříklad k tvému tvrzení.
Nedal. To, ze k necemu napisu, ze to je protipriklad, z toho nedela protipriklad.
Nedal, protoze dat nejde.
definici (na kterou dal odkaz)
Na zadnou definici zadny odkaz nikdo nedal. Placnout jenom tak do vetru odkaz
https://wiki.haskell.org/Lifting neni zadne podani definice. Uz proto, ze uz z prvniho letmeho pohledu na tu stranku je jasne, ze jsou tam popsany ctyri ruzna (!!!!) pouziti toho pojmu. Jiste, vsechna ta pouziti maji neco spolecneho, ale o tom to prave je - kdyby panove diskutovali korektne, museli by minimalne nejak verohodne ukazat, ze to moje pouziti toho pojmu je uplne jine nez tyhle ctyri.
Coz ovsem nemuzou, protoze to ... nejde.
Je zcestné po něm chtít vlastní definici s tím, že jinak ti to nemohl vyvrátit
Nevim, co je na tom zcestneho. Pokud budu zidli rikat "stul" a nekdo me bude chtit opravit, ze to slovo pouzivam blbe, tak proste musi rict "Hele, Mirdo, slovo "stul" se pouziva pro predmety ktere ...".
...anebo se tomu muze tricet prispevku vyhybat a misto toho hyrit radami, abych si to dostudoval. Taky cesta.
Není ničí povinnost tu vystupovat pod svým jménem. A ty nejsi víc než jakýkoliv jiný diskutující pod svým nickem, tak by bylo fajn se tak přestat chovat.
Nerekl jsem, ze jsem neco vic. Rekl jsem, ze pro anonyma je jednodussi diskutovat nekorektne nez pro ne-anonyma. Napr. proto, ze kdyz tady ja urazim Cikadu pod svym jmenem, tak se mi taky muze zitra stat, ze mi nekdo zazvoni u dveri a da mi jednu poradnou do nosu. Protoze proste Cikada ma dva metry a desne ji bavi thai box.
Anonymovi tohle riziko nehrozi, muze si nadavat komu chce jak chce a nic z toho pro nej neplyne, zadnou zodpovednost za to neprijima.