はてなブックマーク - Implementing a category-theoretic Hask-monad in Haskell https://b.hatena.ne.jp/entry/s/medium.com/@brettwines/implementing-a-category-theoretic-hask-monad-in-haskell-7bf662f2e98b Hi! In this post, we’ll build up monads from their components (functors and natural transformations), consider a monad in a specific category, and verify the monad laws in QuickCheck, which is inte... k0yoshitsugu https://b.hatena.ne.jp/k0yoshitsugu/20151217#bookmark-272516026 2015-12-16T23:24:57Z ruicc https://b.hatena.ne.jp/ruicc/20151216#bookmark-273876059 2015-12-16T07:56:05Z nabinno https://b.hatena.ne.jp/nabinno/20151202#bookmark-272516026 2015-12-02T11:25:20Z medium lotz84 https://b.hatena.ne.jp/lotz84/20151202#bookmark-272567621 2015-12-02T03:09:28Z u_wot_m8 https://b.hatena.ne.jp/u_wot_m8/20151201#bookmark-272516026 2015-12-01T10:06:23Z Haskell Monad