Redirecting to... https://move-book.com/programmability/witness-pattern.html.