Foo.hs

foo :: IO (Maybe Socket) -> IO () -> IO (Maybe Socket)
foo sock action = do
  actionHandler <- tryIOError action
  return $ either (\err -> Nothing) (\sock' -> sock <|> Just sock') actionHandler

performSocketAction2 :: Socket -> IO () -> IO (Maybe Socket)
performSocketAction2 sock action = foo (Just sock) action

makeSocket :: IO (Socket) -> IO (Maybe Socket)
makeSocket action = foo Nothing action