@@ -265,10 +265,12 @@ in our implementation.
266#### When deserializing
266#### When deserializing
268+A message field will always be `Just` when a field is present on the wire.
268−The generated record fields will always be `Nothing` when a field is not present on the wire.
269+A message field will always be `Nothing` when a field is not present on the wire, even if
269−If we want to use
270+its a *no presence* field.
271+If we want interpret a missing *no presence* field as a
270−[default values](https://developers.google.com/protocol-buffers/docs/proto3?hl=en#default) then
272+[default value](https://developers.google.com/protocol-buffers/docs/proto3?hl=en#default) then
271−we have the `Protobuf.Library.Default` typeclass for that.
273+we have the `Protobuf.Library.toDefault` function for that.
273#### When serializing
275#### When serializing