Mockingbird

Some languages don't really care about types and allow to write something like (define (w x) (x x)) or even worse stuff.
Are there any statically-typed languages that allow to mock the mockingbird?

>>6,7
Looks more like a simple dynamic dispatch with contracts.
If it allows to write Int $foo = "bar" and fails at run-time only, don't call it statically typed language.