4 ms·
Most examples of HKT in Haskell are either: - not necessary. You don't need HKTs to have >>= for your favorite monad. - encodable in functors/first class modu
by Drup 11y ago
Most examples of HKT in Haskell are either:
- not necessary. You don't need HKTs to have >>= for your favorite monad.
- encodable in functors/first class modules trivially.
- genuinely complicated HKT.
The last point happens far less often than Haskell people believe. (It does happen occasionally, though, and it's indeed annoying when it does).
- lmm 11y agoI need HKTs to write something in terms of >>= that will work for more than one monad, no? And I do that all the time.