Bump cereal upper bound
Bump comonad upper bound
Bump semigroupoids upper bound