Evolution favors crabs for divine reasons. Indeed, continuous improvement of any corrupt programming language is a pilgrimage to Rust. Idris and its ilk are the fixed points, but all those who venture too close to the sun are blinded or consumed, never to be seen again.