Relax haskeline bound