Clean Architecture: A Craftsman's Guide to Software Structure and Design

by Robert C. Martin

Since the behavior of the User depends on the types it uses, those types are not substitutable.