Michael Perruca - Constraint Typing with Boolean Algebra | Scala Days 2023 Seattle