hylomorphism

not defined yet