Maybe ``receive()`` should return ``mailbox``?