One note: instead of using module boundaries to limit how a value can be used, you can use existential types instead. This is essentially equivalent to how enca

One note: instead of using module boundaries to limit how a value can be used, you can use existential types instead. This is essentially equivalent to how encapsulation works in OOP languages.