This intention moves type parameter bounds from the
where
clause to parameter list.