A design pattern in functional programming that allows for a generic type of computations to be performed in a specific context (like handling nulls, combining computations, or dealing with side effects).

"Monads provide a way to wrap and chain operations on values while abstracting away details such as error handling or asynchronous computations."