En sémantique, y en a partout dès que tu veux faire des modèles. En programmation, c'est à la base des monades d'Haskell.