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?

>>3
Thanks. But ocaml fails instantly: # ((fun x -> x x) id) 1;;
Error: This expression has type int but an expression was expected of type
         'a -> 'a as 'a
>>4
When did it became statically typed?