Ben
How about making the default type an extended type of the given T type when it's curried? I just made a proof-of-concept version of this.  https://www.typescriptlang.org/play?strictNullChecks=false&jsx=0&ts=5.4.0-dev.20240121#code/JYWwDg9gTgLgBAbzMMBTANAeQL5wGZQQhwBEAAiBAEbAA2AngPQwDOAtFarTCQFAz00cTGBjAIAOwA8AFQB8cALxwZcAD5wJAV1q11cLRIAmqPMAmojvXo0YBjLVCioJ8UGFqoQLmAEMxkryoAB6QsHB2kizwAOaoMADqwDAAFgAipr468MqycgAUJnhZ3ABqvrRaqABcAHKStTq0vlSeeQCUigXB1SIB0vKdcrxwo3DBAPw9RSUw5ZWo1rZghJAslnDunt6u-uISQaHQ8JES0XBxicnpmdkATEpwsugAGnAhMC5GLHD1Eo26FpteSKP4A5qtVB5AozbLzKrVF5DfI9Pr7DpdEZjSbTW5lCpVawCIQASU+xGUJF8JH0JCoNLUJDsfBs9kczlcm3A2x8e0CyDQ+SxmAAdABlIiofJUkjtdCs0YAPQmWMuSVSGWK2WlzPaWNsyt4etZKwgaw2Wy8vP6vAFUuF4slUjJXgKMrlCrghtGauumtmdx1stZhvaQA
Maybe the `NoInfer` utility type from the Typescript 5.4.0 would be solution for this. [updated example above](https://www.typescriptlang.org/play?strictNullChecks=false&jsx=0&ts=5.4.0-dev.20240121#code/JYWwDg9gTgLgBAbzMMBTANAeQL5wGZQQhwBEAAiBAEbAA2AngPQwDOAtFarTCQFAz00cTGBjAIAOwA8AFQB8cALxwZcAD5wJAV1q11cLRIAmqPMAmojvXo0YBjLVCioJ8UGFqoQLmAEMxkryoAB6QsHB2kizwAOaoMADqwDAAFgAipr468MqycgAUJnhZ3ABqvrRaqABcAHKStTq0vlSeeQCUigXB1SIB0vKdcrxwo3DBAPw9RSUw5ZWo1rZghJAslnDunt6u-uISQaHQ8JES0XBxicnpmdkATEpweYW3ZRVVdRAAkhJ4qFBSeoSRq6FpteRyIb5Hp9fYdLojMaTaavObvRb8QSoOBfGBeR4kXwkfQkKjEtQkOx8Gz2RzOVybcDbHx7QLIND5RGYAB0AGUiKgpLivAVCSR2ugaaMAHoTRGXJKpDLFbL5SnixG2WW8dpLRgrCBrDZbLws-q8dmoTmjHn87xCvEgUVEiVSuDa0YK67K2Z3NVU3VauW6y2cnkEIgg5qtK2ElhGPDiyVepWov0kABu6I1uqAA), seems just working as intended
Hi. I made a PR to resolve this issue. please have a look and let me know if it's right.
Hi. I made a PR to resolve this issue. please have a look and let me know if it's right.
Could you describe it more specifically? for example, a signature for the function, and desired behavior.
I got this. ~~but how about changing the name to `differenceBy`? all the other functions in ts-belt which take another comparing function use `~By` in their names.~~ I forgot `zipWith`....
maybe a `'a=>'b` function for the compare function rather than `('a 'a) => bool` would be better i guess? If it's a symmetric comparison, why not just evaluate a new...
Great! PR updated!
just curious, the current type of isDate is `(value:A) => value is Extract`. why not just simply `(value:A) => value is Date`? is there reason not to be?
seems that it's option's problem, related to #97