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