Add a model for how conditional trait impls might be used to implement
the Fn-FnMut-FnOnce hierarchy.