example of | with value cases