total-1.0.1: Exhaustive pattern matching using lenses, traversals, and prisms