Add Haddock for MkSocket fields