@@ -58,6 +58,6 @@ unsafeSend (MkConc pid ch_id) val
58||| a protocol (externally checked) which ensures that the message received
58||| a protocol (externally checked) which ensures that the message received
59||| is of the type given by the sender.
59||| is of the type given by the sender.
61−unsafeRecv : (a : Type) -> Channel -> IO (Maybe a)
61+unsafeRecv : (expected : Type) -> Channel -> IO (Maybe expected)
62unsafeRecv a (MkConc pid ch_id) = getMsgFrom {a} pid ch_id
62unsafeRecv a (MkConc pid ch_id) = getMsgFrom {a} pid ch_id