Data.Functor.PushPull

data PushPull a b r

push

pull