fix mtl RDEPEND major version limit

source: https://hackage.haskell.org/package/Agda