Remove structural equality laziness