ev -> reify -> extract -> fix
# arrow
p
ev -> reify -> extract -> fix