Oh I know about Scala's, and AFAIK there's a surprising amount that isn't typechecked how you would expect