added transport to Prelude.Equality