Improve higher_order.md function signatures

Fixes #16