I would like to define a type for an array whose first element is a specific type (e.g. Function), and the remaining elements are the empty type. For example:
ty