Reference Equality vs Structural (deep) Equality by Nik Graf