Tagged type abuse

[Natasha Kerensikova <lithiumcat@instinctive.eu>]

Hello,

I find myself using more and more tagged types for reasons that have
nothing to do with tagging, mostly the prefix notations (when it helps
readability and when a function call is conceptually accessing a record
element but with a hidden concrete implementation) and the passing by
reference.

However, I still feel guilty about it, like I'm abusing a feature
unrelated to what I wish to accomplish.

What would you recommend to appease such feelings?
Sacrificing prefix notation readability on types that have no business
being tagged?
Trying to be more pragmatic and use tools (and language features) for any
purpose at which they end up being useful, even unintended?


Natasha