hkt variance
https://github.com/mikearnaldi/hkt-new/blob/2b8ee72e013b54a3018b23e7c1ca7af4df498d05/src/prelude/hkt.ts#L27
As said in the comments to the fp-ts attempts the way to have the base type checked is to default to what would be the HKT type otherwise in your code you have Error so effectively you turned off all the checks
As said in the comments to the fp-ts attempts the way to have the base type checked is to default to what would be the HKT type otherwise in your code you have Error so effectively you turned off all the checks
GitHub
Contribute to mikearnaldi/hkt-new development by creating an account on GitHub.
