Update 10-09_hof-typed.asciidoc

I'm pretty vague on core.typed, but I think this is a typo.....?
Alan
Merge pull request #418 from cloojure/patch-23

Update 10-09_hof-typed.asciidoc