The complexity is exactly is issue. So while it’s possible to implement on the .net runtime without type erasure, it’s hard.
Plus the only reason type erasure is bad is if you want reflection. Which in FP languages with a solid type system isnt idiomatic and safe anyway.
Edit: value types are one other reason for not using erasure but Can be done other ways
Plus the only reason type erasure is bad is if you want reflection. Which in FP languages with a solid type system isnt idiomatic and safe anyway. Edit: value types are one other reason for not using erasure but Can be done other ways