Schwartzbach, M. I. A Note on Opaque Types. DPB 1990, 19.