"function types" seems to imply higher-order funct...

# announcements

[norswap]

"function types" seems to imply higher-order functions (i.e. you're passing functions around, or at the least storing them in a field)