Thank you. I upgraded my GHC and it works now.

On 2018-12-03 01:06, Alexey Vagarenko wrote:

Div was introduced in GHC 8.4, I believe.