Add Socket.hs