bind (mônada)
Operação de mônada: encadeia uma função que devolve um valor monádico. Haskell: >>=. JavaScript: Promise.then (Promise é uma mônada). Rust: and_then em Option/Result.
Assinatura de tipo: (>>=) :: Monad m => m a -> (a -> m b) -> m b. É poderosa porque combina fmap com flatten, evitando mônadas aninhadas. Just 5 >>= \x -> Just (x+1) = Just 6. Casos de uso: encadear computações que podem falhar (Maybe), que têm efeitos colaterais (IO) ou que produzem múltiplos valores (List). Equivalente moderno: async/await é notação do-block para a mônada Promise. Em Rust, o operador ? faz o papel de bind para Result/Option. Modelo mental: "bind" é sequenciar preservando o contexto. Depois que você enxerga isso, encontra mônadas em todo lugar — tratamento de erros, código assíncrono, parsing.