idris: broken by recent Haskell updates

http://hydra.cryp.to/build/190927/nixlog/1/raw