Hylomorphism definitions