@hackage semialign-indexed1

This package provides SemialignWithIndex with two members

class (FunctorWithIndex i f, Semialign f) => SemialignWithIndex i f | f -> i where
    ialignWith :: (i -> These a b -> c) -> f a -> f b -> f c
    izipWith   :: (i -> a -> b -> c)    -> f a -> f b -> f c

Superclass FunctorWithIndex is from lens package.