Relax sbv dependency and resolve hackage compilation failure