Implement typed lambda in Rust (no parsing yet)