This was always necessary, it was just missing logic. It is necessary
due to type equivalence rules.