Bump comonad, semigroupoids, bifunctors, either, pointed, profunctors, free, lens, tagged-transformer