Haskell's is much deeper but Gleam gives you algebraic types, generics and type aliases. I believe Gleam offers deeper pattern-matching facilities. That is of

Haskell's is much deeper but Gleam gives you algebraic types, generics and type aliases. I believe Gleam offers deeper pattern-matching facilities. That is of course not the type system, but feels closely related to me.