Comment on The design of the Strict Haskell pragmaparentComments−Drup10yMost 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).−lmm10yI need HKTs to write something in terms of >>= that will work for more than one monad, no? And I do that all the time.
Comments
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).
I need HKTs to write something in terms of >>= that will work for more than one monad, no? And I do that all the time.