Development shells for developing Typelevel projects - View it on GitHub