If you're new to this library, you may need a few pointers of where to look for features:

• Prelude is a static partial class, this type is loaded with functions for constructing the key data types, as well as many of the things you'd expect in a functional programming language's prelude. Note, the Prelude type extends into many other parts of the source-tree. It's the same type, but spread all over the code-base. And so, you may see Prelude in other areas of the documentation: it's the same type.

  Because it's so fundamental, you'll want to add this to the top of every code file (or in your global usings):

  using static LanguageExt.Prelude;
  

  This makes all functions in the Prelude available as though they were local.

• Traits are the powerhouse of this library and allow for true higher-kinded abstract behviours to be leveraged throughout. The topic of traits is huge, so if you're looking for an introduction, take a look at Paul Louth's Higher Kinds series on his blog.

• Monads contains the common monads like Option<A> and Either<L, R>, as well as state-managing monads like Reader, Writer, and State. It also is home to many monad-transformers (types with a T suffix, like OptionT). Transformers allow 'stacking' of monadic effects into 'super monads'.

• Immutable Collections contains the high-performance functional collection types this library is famous for.

• Effects is where the pure IO functionality of language-ext resides. It is also where you'll find the StreamT for 'effectful' streaming. To understand more about how to deal with side-effects, check the wiki.

• Concurrency is where you'll find lots of help in atomically managing shared data without locks.