I have the following piece of code:
processDisconnect :: Node -> Lock -> Port -> IO() processDisconnect n l pn = do interlocked l "Lock"