Hi Kosyrev, ghc-nokinds is fixed in commit f741d426da265c6a4e38a070b5deb7793fe22ce8. I hope this helps, Peter