Reply To: Using types to do branching