{"action":"created","issue":{"url":"https://api.github.com/repos/typelevel/cats/issues/1297","repository_url":"https://api.github.com/repos/typelevel/cats","labels_url":"https://api.github.com/repos/typelevel/cats/issues/1297/labels{/name}","comments_url":"https://api.github.com/repos/typelevel/cats/issues/1297/comments","events_url":"https://api.github.com/repos/typelevel/cats/issues/1297/events","html_url":"https://github.com/typelevel/cats/issues/1297","id":172069480,"number":1297,"title":"Multiple things are prefixed with`Bi-` meaning different things.","user":{"login":"mgttlinger","id":5120487,"avatar_url":"https://avatars.githubusercontent.com/u/5120487?v=3","gravatar_id":"","url":"https://api.github.com/users/mgttlinger","html_url":"https://github.com/mgttlinger","followers_url":"https://api.github.com/users/mgttlinger/followers","following_url":"https://api.github.com/users/mgttlinger/following{/other_user}","gists_url":"https://api.github.com/users/mgttlinger/gists{/gist_id}","starred_url":"https://api.github.com/users/mgttlinger/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mgttlinger/subscriptions","organizations_url":"https://api.github.com/users/mgttlinger/orgs","repos_url":"https://api.github.com/users/mgttlinger/repos","events_url":"https://api.github.com/users/mgttlinger/events{/privacy}","received_events_url":"https://api.github.com/users/mgttlinger/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":8,"created_at":"2016-08-19T07:17:32Z","updated_at":"2016-08-25T20:27:04Z","closed_at":null,"body":"We have a `Bimonad` where the prefix means that it is a `Monad` and a `Comonad`. We also have things like `Bifunctor`, `Bifoldable` and `Bitraverse` where the prefix expresses that it is about types with two type parameters instead of one.\r\n\r\nIn #30 this has been brought up already and it was suggested to rename `Bimonad` to `DualMonad` or `SelfDualMonad` by @fthomas and @non. `DualedMonad` was also suggested. On gitter the discussion was revived recently and I suggested keeping `Bimonad` as nlab agrees with the naming (https://ncatlab.org/nlab/show/Hopf+monad) \r\n\r\n> Thus, we might define a bimonad to be an endofunctor H H equipped with the structure of both a monad and a comonad, ...\r\n\r\nI suggested to rename the other interfaces to a `Bin-` prefix to denote that their type constructors are binary but that would raise the issue again once we want interfaces for types with three parameters. @tpolecat suggested to change them to `Functor2`, `Functor3`, ... which would leave those options open for the future and should be familiar to a Scala programmer given that e.g. the `Function` types use the same \"convention\""},"comment":{"url":"https://api.github.com/repos/typelevel/cats/issues/comments/242526741","html_url":"https://github.com/typelevel/cats/issues/1297#issuecomment-242526741","issue_url":"https://api.github.com/repos/typelevel/cats/issues/1297","id":242526741,"user":{"login":"mgttlinger","id":5120487,"avatar_url":"https://avatars.githubusercontent.com/u/5120487?v=3","gravatar_id":"","url":"https://api.github.com/users/mgttlinger","html_url":"https://github.com/mgttlinger","followers_url":"https://api.github.com/users/mgttlinger/followers","following_url":"https://api.github.com/users/mgttlinger/following{/other_user}","gists_url":"https://api.github.com/users/mgttlinger/gists{/gist_id}","starred_url":"https://api.github.com/users/mgttlinger/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mgttlinger/subscriptions","organizations_url":"https://api.github.com/users/mgttlinger/orgs","repos_url":"https://api.github.com/users/mgttlinger/repos","events_url":"https://api.github.com/users/mgttlinger/events{/privacy}","received_events_url":"https://api.github.com/users/mgttlinger/received_events","type":"User","site_admin":false},"created_at":"2016-08-25T20:27:04Z","updated_at":"2016-08-25T20:27:04Z","body":"PR: https://github.com/typelevel/cats/pull/1334"}}
{"actor":{"display_login":"mgttlinger"}}