Progress! I managed to move from needing to figure out how to create an F to needing to figure out how to create a Coyoneda.

Прогресс уровня хаскель.