Remove Idris as a build-time dependency
Add Idris as a runtime dependency
Upgrade to Haskell on Heroku
Use explicit constraints