Exhaustive pattern matching using lenses, traversals, and prisms - View it on GitHub