@@ -163,17 +163,17 @@ loopback name maybeExpr tipe =
163163 Nothing ->
164164 case ST.deepDealias tipe of
165165 ST.Record
166− [ ("mailbox", ST.App (ST.Type mailbox) [a])
166+ [ ("address", ST.App (ST.Type address) [a])
167167 , ("stream", ST.App (ST.Type stream) [b])
168168 ]
169169 Nothing
170− | Var.isStream stream && Var.isMailbox mailbox && a == b ->
170+ | Var.isStream stream && Var.isAddress address && a == b ->
171171 return (D.Mailbox name tipe)
172172
173173
174174 _ ->
175175 throw $ loopbackError name tipe $
176− [ P.text "A loopback like this must be a WritableStream." ]
176+ [ P.text "A loopback like this must be a Mailbox." ]
177177
178178 Just expr ->
179179 case ST.deepDealias tipe of