Cao Nguyen Pham: The first steps towards practical capture checking [Scala Days 2025]