[epolanski]

I wonder how this differs from HKT's implementation in fp-ts 2 and Effect-TS.

https://gcanti.github.io/fp-ts/modules/HKT.ts.html