just making a trait with those method signatures and declaring that types A and B implement trait T means you can just accept an argument of type T and expect those methods to be implemented?