Motivated by some examples from functional programming, we propose a generalisation of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category these notions are equivalent, generalising a well-known theorem of Hasegawa and Hyland.