Feature/monadic socket