Function[T] moved to types.py