There is type:
type Filter = { (array: T[], f: (item: T) => boolean): T[] }
And concrete variable with type:
let