:: Term s ((a :--> b) :--> list a :--> list b) -is:exact -package:plutarch -is:exact

pfmap :: forall (a :: S -> Type) (b :: S -> Type) (s :: S) . (PFunctor f, PSubcategory f a, PSubcategory f b) => Term s ((a :--> b) :--> (f a :--> f b))
liqwid-plutarch-extra Plutarch.Extra.Functor