<div dir="ltr">Hi!<br><br>I believe this is what you're looking for - <a href="https://github.com/ghc-proposals/ghc-proposals/pull/229">https://github.com/ghc-proposals/ghc-proposals/pull/229</a><br>But I'm not sure if it was implemented in 9.0 or earlier.<br><br>======<br>Georgi</div>