{"issue":{"state":"closed","pull_request":{"diff_url":null,"html_url":null,"patch_url":null},"user":{"avatar_url":"https://secure.gravatar.com/avatar/ba340386ad2afc76d4a9602410b4e449?d=https://a248.e.akamai.net/assets.github.com%2Fimages%2Fgravatars%2Fgravatar-140.png","gravatar_id":"ba340386ad2afc76d4a9602410b4e449","url":"https://api.github.com/users/sjoerdvisscher","login":"sjoerdvisscher","id":45567},"milestone":null,"assignee":null,"updated_at":"2011-11-08T21:15:56Z","labels":[],"comments":1,"closed_at":"2011-11-08T21:15:56Z","url":"https://api.github.com/repos/ekmett/free/issues/2","body":"I noticed that Cofree implements every superclass of Representable, but not Representable itself. Here's a possible instance:\r\n\r\n    instance Representable f => Representable (Cofree f) where\r\n      tabulate f = f Seq.empty :< tabulate (\\k -> tabulate (f . (k Seq.<|)))","html_url":"https://github.com/ekmett/free/issues/2","title":"Representable instance for Cofree f is missing","number":2,"id":2165260,"created_at":"2011-11-07T17:51:26Z"},"action":"closed"}