{"action":"created","issue":{"url":"https://api.github.com/repos/DanielGronau/highj/issues/43","repository_url":"https://api.github.com/repos/DanielGronau/highj","labels_url":"https://api.github.com/repos/DanielGronau/highj/issues/43/labels{/name}","comments_url":"https://api.github.com/repos/DanielGronau/highj/issues/43/comments","events_url":"https://api.github.com/repos/DanielGronau/highj/issues/43/events","html_url":"https://github.com/DanielGronau/highj/issues/43","id":165980612,"number":43,"title":"Should we drop Kleisli and related classes?","user":{"login":"DanielGronau","id":2665695,"avatar_url":"https://avatars.githubusercontent.com/u/2665695?v=3","gravatar_id":"","url":"https://api.github.com/users/DanielGronau","html_url":"https://github.com/DanielGronau","followers_url":"https://api.github.com/users/DanielGronau/followers","following_url":"https://api.github.com/users/DanielGronau/following{/other_user}","gists_url":"https://api.github.com/users/DanielGronau/gists{/gist_id}","starred_url":"https://api.github.com/users/DanielGronau/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DanielGronau/subscriptions","organizations_url":"https://api.github.com/users/DanielGronau/orgs","repos_url":"https://api.github.com/users/DanielGronau/repos","events_url":"https://api.github.com/users/DanielGronau/events{/privacy}","received_events_url":"https://api.github.com/users/DanielGronau/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/DanielGronau/highj/labels/question","name":"question","color":"cc317c"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-07-17T15:09:43Z","updated_at":"2016-07-17T23:47:55Z","closed_at":null,"body":"Because according to http://typeclassopedia.bitbucket.org/#slide-114 it is the same as `ReaderT`, and looking at both from a distance while squinting seems to support this claim. \r\n\r\nAs `ReaderT` is clearly more elaborate, fits in the monad transformer pattern and is better known under this name, I'd decide against good old `Kleisli`.\r\n\r\nBTW, we have also a `Cokleisli`, could this be isomorphic to `WriterT`?  "},"comment":{"url":"https://api.github.com/repos/DanielGronau/highj/issues/comments/233211358","html_url":"https://github.com/DanielGronau/highj/issues/43#issuecomment-233211358","issue_url":"https://api.github.com/repos/DanielGronau/highj/issues/43","id":233211358,"user":{"login":"clinuxrulz","id":278292,"avatar_url":"https://avatars.githubusercontent.com/u/278292?v=3","gravatar_id":"","url":"https://api.github.com/users/clinuxrulz","html_url":"https://github.com/clinuxrulz","followers_url":"https://api.github.com/users/clinuxrulz/followers","following_url":"https://api.github.com/users/clinuxrulz/following{/other_user}","gists_url":"https://api.github.com/users/clinuxrulz/gists{/gist_id}","starred_url":"https://api.github.com/users/clinuxrulz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/clinuxrulz/subscriptions","organizations_url":"https://api.github.com/users/clinuxrulz/orgs","repos_url":"https://api.github.com/users/clinuxrulz/repos","events_url":"https://api.github.com/users/clinuxrulz/events{/privacy}","received_events_url":"https://api.github.com/users/clinuxrulz/received_events","type":"User","site_admin":false},"created_at":"2016-07-17T23:47:55Z","updated_at":"2016-07-17T23:47:55Z","body":"```Kleisli``` is more to do with Arrows than Monads. Its embeds monadic computations in arrows.\r\n\r\nIt is sort of like an effectfull arrow interface. It has a different purpose than ```ReaderT```, so I think we should keep it."}}
{"actor":{"display_login":"clinuxrulz"}}