title: Is it possible to define Omega combinator (λx.xx) in modern Haskell?
body: <p>Stack! Is it possible to define Omega combinator (λx.xx) in modern Haskell? I suppose, Haskell98's type system is designed to make things like this impossible, but what about modern extensions?</p>