Clarification.

Author: cristianoc

Diff for: _blogposts/2023-05-17-enhanced-ergonomics-for-record-types.mdx

@@ -110,7 +110,7 @@ let a: a = {
 let name = nameFromB(a :> b)
 ```
 
-Notice how we _coerced_ the value `a` to type `b` using the coercion operator `:>`. This works because they have the same record fields.
+Notice how we _coerced_ the value `a` to type `b` using the coercion operator `:>`. This works because they have the same record fields. This is purely at the type level, and does not involve any runtime operations.
 
 Additionally, we can also coerce records from `a` to `b` whenever `a` is a super-set of `b` (i.e. `a` containing all the fields of `b`, and more). The same example as above, slightly altered: