Increase upper bounds for some packages
Increase upper bounds for some packages

Remove conditionals for older GHCs.

uuhan/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev