haskpy.types.either.left

left(p)

(a -> b) -> s -> t, or more generally, PrismP a b s t

that is,

Cocartesian p => p a b -> p s t