Use gentyref 1.2.0.