Sure, Scala has fancier stuff on the high end of things, but it doesn't nail the basics the way F# does. I don't feel like sacrificing day-to-day productivity s

Sure, Scala has fancier stuff on the high end of things, but it doesn't nail the basics the way F# does. I don't feel like sacrificing day-to-day productivity so I can skip duplicating some code with recursion schemes. Your dream language sounds a lot more like F# than Scala tbh. F# doesn't have (easy to use) type classes or higher kinded types, but has simplified modules and full access to .NET object system for all your polymorphism needs, and a much more seamless interop with the platform it's running on as there's significantly less "magic" happening in the compiler compared to Scala.