Returns is a Python package that brings functional programming to Python and provides a bunch of primitives to write declarative business logic while enforcing better architecture. It is fully typed with annotations and checked with `mypy` and adds emulated Higher Kinded Types support. Returns also provides type-safe interfaces to create your own data-types with enforced laws and has a bunch of helpers for better composition. It is easy to start with lots of docs, tests, and tutorials. Returns contains several containers including Maybe, RequiresContext, Result, IO, Future, and also allows you to create your own container.