ReplyVal adt