Lean/Haskell/Rust/Typescript - "To ask the right question is harder than to answer it." Georg Cantor