diff --git a/semantic-core/src/Analysis/Concrete.hs b/semantic-core/src/Analysis/Concrete.hs
index 3b8718ab2..78f79dc48 100644
--- a/semantic-core/src/Analysis/Concrete.hs
+++ b/semantic-core/src/Analysis/Concrete.hs
@@ -48,6 +48,7 @@ data Concrete
   | String Text
   | Record Env
   deriving (Eq, Ord, Show)
+  -- | We derive the 'Semigroup' instance for 'Concrete' to take the second argument. This is equivalent to stating that the return value of an imperative sequence of statements is the value of its final statement.
   deriving Semigroup via Last Concrete
 
 recordFrame :: Concrete -> Maybe Env