vvalue
serviceReceiver :: (KESAlgorithm (KES StandardCrypto), Monad m, MonadDelay m)=> TaggedBundle m StandardCrypto -> m RecvResult-> Client (ServiceProtocol m) 'NonPipelined 'InitialState m ()