They are statements in an embedded language modeled by the monad. The distinction isn't great. Monad allows the implementer to capture linear action if they lik

They are statements in an embedded language modeled by the monad. The distinction isn't great. Monad allows the implementer to capture linear action if they like. That makes them at least powerful enough to embed Algol.