Error handling made precise. Because error handling belongs in the types.
Latest version
[](https://index.scala-lang.org/umazalakain/errata/errata)
JVM badge
[](https://index.scala-lang.org/umazalakain/errata/errata)