Workaround for indecent comonad and semigroupoids bumps