Effecton is effect system for python allowing to write *very* typesafe apps like: ```py def charge(order: Order) -> E. Effect[Receipt, CardDeclined | CardExpired, PaymentGateway]: ... ``` So not only success value but also errors and requirements are typed.
Source: [Hacker News](https://effecton.dev/)