--with-hasktags