Refering to a trait within an impl block in Rust

Question

I am working on translating a simple prolog implementation in Haskell to Rust for fun, and to get some more experience using the language.

In Haskell, I have a type c