Right. All that work on type systems is purely indirection. I want to run my code and the compiler keeps telling me I can't access this place in memory because some other part of my code is borrowing it. Or, what do you mean the commutative property of this type class doesn't hold for my type? Purely directing me away from programming, for sure.