Myles F. Barrett Marshall E. Giguere A Note on Covariance and Contravariance Unification. 32-35 1996 31 SIGPLAN Notices 1 db/journals/sigplan/sigplan31.html#BarrettG96