Is Scala 3 going to bring in the knowledge from dotty to simplify some of the n x n typing combinations?