Build high performance applications without significant abstraction overhead.

Provides solid type-safety that can help catch bugs at compile time.

Write programs that perform CPU bound tasks concurrently.

Writing applications without manually managing resource leaks.

Write programs that are extremely easy to test.

Write programs that provide type safety around errors and doesn't lose them ever.

Highly functional and lawful abstractions that provide easy composition and refactoring capabilities.

Interop between effects and streams easily.