Bounds like `F: FnOnce(T) -> U` aren't handled.
Bounds like
F: FnOnce(T) -> Uaren't handled.