
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>

<p>Thank you. I upgraded my GHC and it works now.</p>

<p>On 2018-12-03 01:06, Alexey Vagarenko wrote:</p>

<blockquote type="cite" style="padding: 0 0.4em; border-left: #1010ff 2px solid; margin: 0">

<div dir="ltr">Div was introduced in GHC 8.4, I believe.</div>

</blockquote>


</body></html>