> It's an abstraction, not an error.

Extending an abstraction beyond its expressive capabilities is an error IMO.