FunctorCombo.ZipperFix
type
Context
f
type
Zipper
f
up
up'
down