Goal: Implement the JavaScript `Array.includes` function in the type system. A type takes the two arguments. The output should be a boolean `true` or `false`. For example: Source challenge: https://github.com/type-challenges/type-challenges/tree/main/questions/00898-easy-includes Reference explanation: https://github.com/ghaiklor/type-challenges-solutions/blob/main/en/easy-includes.md