On Wed, Oct 19, 2016 at 10:40:50AM +0200, Helmut Grohne wrote: > Indeed. I rebased my unpublished local commit and pushed it now. Thank > you for the poke. Great, I've uploaded 0.4.4-3 to experimental to see if it builds with GHC 8.