Redirecting to... https://higher-kinded-j.github.io/hkts/extending-simulation.html.