A next-generation Scala framework for building scalable, correct, and efficient HTTP clients and servers