{"action":"created","issue":{"url":"https://api.github.com/repos/typelevel/cats/issues/2208","repository_url":"https://api.github.com/repos/typelevel/cats","labels_url":"https://api.github.com/repos/typelevel/cats/issues/2208/labels{/name}","comments_url":"https://api.github.com/repos/typelevel/cats/issues/2208/comments","events_url":"https://api.github.com/repos/typelevel/cats/issues/2208/events","html_url":"https://github.com/typelevel/cats/issues/2208","id":307482690,"number":2208,"title":"EitherT should have a type constructor from a Foldable","user":{"login":"jupco","id":30499335,"avatar_url":"https://avatars1.githubusercontent.com/u/30499335?v=4","gravatar_id":"","url":"https://api.github.com/users/jupco","html_url":"https://github.com/jupco","followers_url":"https://api.github.com/users/jupco/followers","following_url":"https://api.github.com/users/jupco/following{/other_user}","gists_url":"https://api.github.com/users/jupco/gists{/gist_id}","starred_url":"https://api.github.com/users/jupco/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jupco/subscriptions","organizations_url":"https://api.github.com/users/jupco/orgs","repos_url":"https://api.github.com/users/jupco/repos","events_url":"https://api.github.com/users/jupco/events{/privacy}","received_events_url":"https://api.github.com/users/jupco/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-03-22T02:21:50Z","updated_at":"2018-03-26T16:04:44Z","closed_at":null,"author_association":"NONE","body":"It would be useful to have a way to easily build an `EitherT` from a `Foldable`, e.g. a `List`, of `EitherT`, what I'm proposing is a sequence method in the companion object as it's in other monads, e.g. `io.monix.Task`. all of this preserving, of course, the fail fast nature of EitherT.\r\n\r\nSo if we have a `List(EitherT[Id,String, Int](Right(3)), EitherT[Id, String, Int](Right(2))) ` we could get an `EitherT(Right(List(3, 2)))`"},"comment":{"url":"https://api.github.com/repos/typelevel/cats/issues/comments/376219832","html_url":"https://github.com/typelevel/cats/issues/2208#issuecomment-376219832","issue_url":"https://api.github.com/repos/typelevel/cats/issues/2208","id":376219832,"user":{"login":"jupco","id":30499335,"avatar_url":"https://avatars1.githubusercontent.com/u/30499335?v=4","gravatar_id":"","url":"https://api.github.com/users/jupco","html_url":"https://github.com/jupco","followers_url":"https://api.github.com/users/jupco/followers","following_url":"https://api.github.com/users/jupco/following{/other_user}","gists_url":"https://api.github.com/users/jupco/gists{/gist_id}","starred_url":"https://api.github.com/users/jupco/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jupco/subscriptions","organizations_url":"https://api.github.com/users/jupco/orgs","repos_url":"https://api.github.com/users/jupco/repos","events_url":"https://api.github.com/users/jupco/events{/privacy}","received_events_url":"https://api.github.com/users/jupco/received_events","type":"User","site_admin":false},"created_at":"2018-03-26T16:04:44Z","updated_at":"2018-03-26T16:04:44Z","author_association":"NONE","body":"I don't know if that case can happen, but I was more interested in the fact that Traverse.sequence needs an Applicative of EitherT which can only be provided when you know the other 2 type parameters of it, as in this case `Id` and `String` so there is no way to use this in a type parametric function, because the compiler is unable to find a suitable implicit for Applicative"}}
{"actor":{"display_login":"jupco"}}