(s -> a) -> (b -> t) -> AdapterP a b s t
where
type AdapterP a b s t = Profunctor p => p a b -> p s t
Table of contents: