(This would also require every type implement `Deref` for itself.)