A prototype notation for referentially stable constructors - View it on GitHub