A syntax for type-safe effectful computations in Scala - View it on GitHub