This can be solved in many ways [1][2] and I don't think haskell's approach is the one that can be imported.
[1]: https://www.microsoft.com/en-us/research/wp-content/uploads/...
[2]: https://en.wikipedia.org/wiki/Uniqueness_type
This can be solved in many ways [1][2] and I don't think haskell's approach is the one that can be imported.
[1]: https://www.microsoft.com/en-us/research/wp-content/uploads/...
[2]: https://en.wikipedia.org/wiki/Uniqueness_type