Some much-needed syntactic sugar for function types.