pub trait Entity<'a> { type T: Copy; }
Entity is a type of the particular EntityMatcher input.
EntityMatcher
Note that once GAT is available, we can instead have
type Input<’a>: Copy;
In EntityMatcher.