(a -> b) -> s -> t, or more generally, PrismP a b s t
that is,
Cocartesian p => p a b -> p s t
Table of contents: