Immutability, Memoization, Purity and Linear Types – further reducing code complexity

An immutable type is one whose internal state cannot change after it has been instantiated.  A ‘deeply immutable’ type is one whose dependency graph contains reference types that are also ‘deeply immutable’.  If dependant reference types are not themselves ‘deeply immutable’, the type is termed ‘sh