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?

>>24
The same reason as the other GHC type extensions: because it's possible.
Also because all expressions in the untyped lambda calculus can be typed.