The line between classes and functions is blurry. For example, disallowing type aliases in functions would break code like:

```
def foo(x):
  bar = map
  return bar(lambda y: y+1, x)
```

because map is actually a class (and is typed as such in typeshed).