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