Goal: Implement a utils `If` which accepts condition `C`, a truthy return type `T`, and a falsy return type `F`. `C` is expected to be either `true` or `false` while `T` and `F` can be any type. For example: Source challenge: https://github.com/type-challenges/type-challenges/tree/main/questions/00268-easy-if Reference explanation: https://github.com/ghaiklor/type-challenges-solutions/blob/main/en/easy-if.md