Show HN: Fuse – statically typed functional programming language

Fuse is a statically typed, purely functional programming language with higher-kinded types, ad-hoc polymorphism, and features like algebraic data types (ADTs), generics, type methods, and traits. It compiles to the GRIN whole-program optimizer, generating LLVM-based native code, and draws syntax and design inspiration from Rust, Haskell, Scala, and Python. The language, developed over five years using Scala, aims to combine Rust-like constructs with pure functional semantics and seeks community feedback.