A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
Why do you think that https://github.com/tauri-apps/tauri is a good alternative to tao