A quirk of explicit interfaces

https://blog.jermdavis.dev/posts/2025/quirk-explicit-interfaces