I believe Gleam offers deeper pattern-matching facilities. That is of course not the type system, but feels closely related to me.