Read-Only access control
Yaron Minsky janestcapital.com
video
Phantom types in OCaml
existential types in OCaml
Representing existential data types with isomorphic simple types