propensive Update for Scala 3