@@ -43,15 +43,15 @@ type role Env nominal
4343-- | A mutable, strict (elements are kept in weak head normal form), extensible
4444-- record indexed by effect data types.
4545--
46−-- Offers pretty much perfect performance characteristics:
46+-- Offers very good performance characteristics:
4747--
4848-- - Extending: /O(1)/ (amortized).
4949--
5050-- - Shrinking: /O(1)/.
5151--
52−-- - Indexing via '(:>)': /O(1)/ (amortized).
52+-- - Indexing via '(:>)': /O(forks)/, usually /O(1)/ (amortized).
5353--
54−-- - Modification of a specific element: /O(1)/.
54+-- - Modification of a specific element: /O(forks)/, usually /O(1)/.
5555--
5656data Env (es :: [Effect]) = Env Forks (IORef EnvRef)
5757