{"action":"created","issue":{"url":"https://api.github.com/repos/purescript/purescript-identity/issues/12","repository_url":"https://api.github.com/repos/purescript/purescript-identity","labels_url":"https://api.github.com/repos/purescript/purescript-identity/issues/12/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript-identity/issues/12/comments","events_url":"https://api.github.com/repos/purescript/purescript-identity/issues/12/events","html_url":"https://github.com/purescript/purescript-identity/issues/12","id":185345177,"number":12,"title":"Bring back `runIdentity`","user":{"login":"menelaos","id":7543610,"avatar_url":"https://avatars.githubusercontent.com/u/7543610?v=3","gravatar_id":"","url":"https://api.github.com/users/menelaos","html_url":"https://github.com/menelaos","followers_url":"https://api.github.com/users/menelaos/followers","following_url":"https://api.github.com/users/menelaos/following{/other_user}","gists_url":"https://api.github.com/users/menelaos/gists{/gist_id}","starred_url":"https://api.github.com/users/menelaos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/menelaos/subscriptions","organizations_url":"https://api.github.com/users/menelaos/orgs","repos_url":"https://api.github.com/users/menelaos/repos","events_url":"https://api.github.com/users/menelaos/events{/privacy}","received_events_url":"https://api.github.com/users/menelaos/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2016-10-26T09:46:16Z","updated_at":"2016-10-26T16:20:30Z","closed_at":null,"body":"In https://github.com/purescript/purescript-identity/commit/662c75ded48a81c5d5a2f18cfef1e53800bfa205#diff-75d7212f30c7b011acc28ad640465569L31, the `runIdentity` function was removed. \r\nWhile the same functionality can be achieved with the `unwrap` function from `purescript-newtype`, it has two drawbacks (in my opinion):\r\n\r\n* It sometimes requires additional type annotations\r\n* It is less descriptive\r\n\r\nWhat are your thoughts on this? Would you consider reintroducing `runIdentity`?"},"comment":{"url":"https://api.github.com/repos/purescript/purescript-identity/issues/comments/256401238","html_url":"https://github.com/purescript/purescript-identity/issues/12#issuecomment-256401238","issue_url":"https://api.github.com/repos/purescript/purescript-identity/issues/12","id":256401238,"user":{"login":"menelaos","id":7543610,"avatar_url":"https://avatars.githubusercontent.com/u/7543610?v=3","gravatar_id":"","url":"https://api.github.com/users/menelaos","html_url":"https://github.com/menelaos","followers_url":"https://api.github.com/users/menelaos/followers","following_url":"https://api.github.com/users/menelaos/following{/other_user}","gists_url":"https://api.github.com/users/menelaos/gists{/gist_id}","starred_url":"https://api.github.com/users/menelaos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/menelaos/subscriptions","organizations_url":"https://api.github.com/users/menelaos/orgs","repos_url":"https://api.github.com/users/menelaos/repos","events_url":"https://api.github.com/users/menelaos/events{/privacy}","received_events_url":"https://api.github.com/users/menelaos/received_events","type":"User","site_admin":false},"created_at":"2016-10-26T16:20:30Z","updated_at":"2016-10-26T16:20:30Z","body":"Thanks, I guess I will close this issue then :-). Just one follow-up question concerning \"basic\" newtypes: is there a problem for \"advanced\" newtypes like https://github.com/purescript/purescript-transformers/blob/master/src/Control/Monad/Except/Trans.purs#L37 ?"}}
{"actor":{"display_login":"menelaos"}}