Fe is a statically typed language for the Ethereum Virtual Machine (EVM). The syntax and type system is similar to Rust's, with the addition of higher-kinded types. We're exploring additional type sys...