Generic Algorithms for Variant Types

Learners will be able to process variant types safely using compile-time visitor patterns.