Sueño con un lenguaje EVM que: - tiene genéricos - tiene tipos lineales - tiene tipos de variantes - le permite crear abstracciones seguras sobre optimizaciones de bajo nivel - no da errores de mierda - tiene buenas herramientas FV - genera un buen código de bytes ¿Es mucho pedir?