Data.Functor.PushPull
data PushPull a b r
type PushPull' a
push
pull
mapPush
bipush
bipull
filterPush