Functional

Main class hierarchy

Functors: mappable containers

Contravariant functors: mappable consumers

Applicatives combinable, mappable containers

Monads: adding extra features to functions

MonadPlus, MonadZero: abortable computations

Mono{Functor,Monad}

Concrete classes

Const

Either

FuncDictionary

FuncList

FuncSet

Identity

IO

Maybe

Memo

Random

State

Unit

Writer

Void

Enumerable/Tuple/Func-extensions

Structural (equality) comparison

Pattern matching

Algebra

Class hierarchy

I{X} vs. IHas{X}

Grouplike structures

Magma (Groupoid)

Associative (Semigroup)

Commutative

Identity

Neutral element

A+N (Monoid)

A+N+Inverse (Group)

A+C+N+Inverse (Commutative group)

Ringlike structures

Mapping

Visitor-pattern