undefined | Better HN

0 pointsDrup10y ago0 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).

0 comments

1 comments · 1 top-level

lmm10y ago

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.

j / k navigate · click thread line to collapse