Never could actually conform to any protocol without associated types and static requirements, am I right?
Never