Learn about opaque types and add this new tool to your modelling toolbox!
We all have pretty little things laying around in our codebases, yet, we seldom give them the same love
Understanding the exact properties that disqualify a data type from being an instance of a given abstraction turns out to be surprisingly helpful