Replace hand-written Bounded instances with derived ones