to some function, and maybe that function itself i...
# announcements
g
to some function, and maybe that function itself is inferred, then the author can curry this type inference as far a long as he likes