I've been working on implementing @mpweiher "Storage Combinators" [0] and "polymorphic Identifiers" [1] in Eiffel [3].

Currently I'm stuck implementing a storage combinator with EiffelWebFramework[4]

[0] https://dl.acm.org/doi/abs/10.1145/3359591.3359729

[1] https://scholar.google.com/citations?view_op=view_citation&h...

[2] https://en.wikipedia.org/wiki/Eiffel_(programming_language)

[3] https://github.com/EiffelWebFramework/EWF