More sanity checks for function types.