Lair of the F-Bounded Bandit
A tale of self-typed snares, implicit smoking guns, and the mystery of the masquerading ShadyContainer
A short exchange in my graduate-level programming-language class turned into an impromptu whodunit. The whodunit’s single plot point in Scala was a type leak so small that it first looked harmless, t…