{"action":"created","issue":{"url":"https://api.github.com/repos/ldionne/hana/issues/9","labels_url":"https://api.github.com/repos/ldionne/hana/issues/9/labels{/name}","comments_url":"https://api.github.com/repos/ldionne/hana/issues/9/comments","events_url":"https://api.github.com/repos/ldionne/hana/issues/9/events","html_url":"https://github.com/ldionne/hana/issues/9","id":44898676,"number":9,"title":"Rename Monad::bind","user":{"login":"ldionne","id":700834,"avatar_url":"https://avatars.githubusercontent.com/u/700834?v=3","gravatar_id":"","url":"https://api.github.com/users/ldionne","html_url":"https://github.com/ldionne","followers_url":"https://api.github.com/users/ldionne/followers","following_url":"https://api.github.com/users/ldionne/following{/other_user}","gists_url":"https://api.github.com/users/ldionne/gists{/gist_id}","starred_url":"https://api.github.com/users/ldionne/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ldionne/subscriptions","organizations_url":"https://api.github.com/users/ldionne/orgs","repos_url":"https://api.github.com/users/ldionne/repos","events_url":"https://api.github.com/users/ldionne/events{/privacy}","received_events_url":"https://api.github.com/users/ldionne/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/ldionne/hana/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/ldionne/hana/labels/help%20wanted","name":"help wanted","color":"159818"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":12,"created_at":"2014-10-05T00:17:10Z","updated_at":"2015-04-01T20:18:58Z","closed_at":null,"body":"The name is misleading because of the existence of `std::bind`. If anyone can come up with a better name, please suggest it."},"comment":{"url":"https://api.github.com/repos/ldionne/hana/issues/comments/88619903","html_url":"https://github.com/ldionne/hana/issues/9#issuecomment-88619903","issue_url":"https://api.github.com/repos/ldionne/hana/issues/9","id":88619903,"user":{"login":"ldionne","id":700834,"avatar_url":"https://avatars.githubusercontent.com/u/700834?v=3","gravatar_id":"","url":"https://api.github.com/users/ldionne","html_url":"https://github.com/ldionne","followers_url":"https://api.github.com/users/ldionne/followers","following_url":"https://api.github.com/users/ldionne/following{/other_user}","gists_url":"https://api.github.com/users/ldionne/gists{/gist_id}","starred_url":"https://api.github.com/users/ldionne/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ldionne/subscriptions","organizations_url":"https://api.github.com/users/ldionne/orgs","repos_url":"https://api.github.com/users/ldionne/repos","events_url":"https://api.github.com/users/ldionne/events{/privacy}","received_events_url":"https://api.github.com/users/ldionne/received_events","type":"User","site_admin":false},"created_at":"2015-04-01T20:18:58Z","updated_at":"2015-04-01T20:18:58Z","body":"I assume you mean that `Monad` would be deduced when we call `monadic_function(f)` on an argument. This way, it could deduce it from the return type of the wrapped function `f`. Is this what you mean?\r\n\r\nIf so, this is a brilliant idea, but unfortunately it won't work. `monadic_fold` must know the `Monad` even when the function is never called, for example in the case of an empty sequence. This is required so it can `lift` the `state` into the proper Monad.\r\n\r\nIt _would_ be possible to wrap the state in a \"yet-to-be-determined\" Monad, by using e.g. `lift(state)` instead of `lift<M>(state)`. I'm not exactly sure what that would buy us and what it might complicate, but I would say it is worth thinking about.\r\n\r\nI personnally like the fact that `monadic_fold` must be written explicitly, since they really are two different things. If we can find a nice way (e.g. a proper generalization of folding and monadic folding) to make `fold` and `monadic_fold` coincide then I would be interested, but otherwise I don't see this as a defect.\r\n"}}