I love Idris as much as the next guy, but I doubt virtually anyone is using it for production code.  By contrast, there are millions upon millions of lines of Haskell code in production all over the world.