Correct typos in the comment

Author: yogeshsajanikar

io-sim/src/Control/Monad/IOSim/Types.hs

@@ -896,21 +896,21 @@ data StmTxResult s a =
      | StmTxAborted  [SomeTVar s] SomeException
 
 
--- | A branch indicates an alternative statment available in the current context.
--- For example, `OrElse` has two alternative statements, say "left" and "right".
--- While executing the left statement, `OrElseStmA` branch indicates that the
--- right branch is still available, in case, left statement fails.
+-- | A branch indicates that an alternative statement is available in the current
+-- context. For example, `OrElse` has two alternative statements, say "left"
+-- and "right". While executing the left statement, `OrElseStmA` branch indicates
+-- that the right branch is still available, in case the left statement fails.
 data BranchStmA s a =
        -- | `OrElse` statement with its 'right' alternative.
        OrElseStmA (StmA s a)
-       -- | `CatchStm` statment with 'catch' handler.
+       -- | `CatchStm` statement with the 'catch' handler.
      | CatchStmA (SomeException -> StmA s a)
-       -- | No op statment is not a part of the STM semantics. It simply
-       -- indicates that there are no alternative statements left to be executed.
-       -- For example, when running right alternative of the `OrElse` statement
-       -- or when running the catch handler of a `CatchStm` statement, there are
-       -- alternative statements available. This case is represented by no-op
-       -- branch.
+       -- | Unlike the other two branches, the no-op branch is not an explicit
+       -- part of the STM syntax. It simply indicates that there are no
+       -- alternative statements left to be executed. For example, when running
+       -- right alternative of the `OrElse` statement or when running the catch
+       -- handler of a `CatchStm` statement, there are no alternative statements
+       -- available. This case is represented by the no-op branch.
      | NoOpStmA
 
 data StmStack s b a where