I was recently exploring shapeless and a coworker turned me onto the interesting features of coproducts and how they can be used with polymorphic functions.
Frequently when using pattern matching you want to make sure that all cases are exhaustively checked.… Read the rest