Goal: Implement Python liked `any` function in the type system. A type takes the array and returns `true` if any element of the array is true. If the array is empty, return `false`. For example: Source challenge: https://github.com/type-challenges/type-challenges/tree/main/questions/00949-medium-anyof Reference explanation: https://github.com/ghaiklor/type-challenges-solutions/blob/main/en/medium-anyof.md