This page has moved to /blog/2019/05/06/operate-value-in-julia-parametric-type/.