The pure functional programming language Haskell implements them using monads, derived from category theory.
Limbajul funcțional pur Haskell le implementează utilizând monadele, un concept provenit din teoria categoriilor.