Monads are not special

 Further reading

 
4
Kudos
 
4
Kudos

Now read this

Deprecating ‘data'

Summary: Generic programming should be based on representational equality. We can obtain this by reformulating “data” in terms of “newtype”: manually or (tentatively) with compiler support Background In modern Haskell we often seek to... Continue →