cabal: conservative upper bound on linear