hylomorphisms for the win?