I should perhaps also say that I don't deny Scala could use some simplification, but there are plenty of tangible benefits to algebraic datatypes and they don't

I should perhaps also say that I don't deny Scala could use some simplification, but there are plenty of tangible benefits to algebraic datatypes and they don't require knowing anything about fancy types (unless you want GADTs) or complex implicit conversions.