I was not aware that Microsoft invented algebraic data type.