This page has moved to /blog/2019/02/22/define-values-in-parametric-type/.