Ideas that use an unnecessarily large number of words to express

subtyping

2024

An unsound cell implementation -