{"action":"created","issue":{"url":"https://api.github.com/repos/ldionne/hana/issues/102","labels_url":"https://api.github.com/repos/ldionne/hana/issues/102/labels{/name}","comments_url":"https://api.github.com/repos/ldionne/hana/issues/102/comments","events_url":"https://api.github.com/repos/ldionne/hana/issues/102/events","html_url":"https://github.com/ldionne/hana/issues/102","id":88007731,"number":102,"title":"[Documentation] Superclass used on the Concept context","user":{"login":"viboes","id":721225,"avatar_url":"https://avatars.githubusercontent.com/u/721225?v=3","gravatar_id":"","url":"https://api.github.com/users/viboes","html_url":"https://github.com/viboes","followers_url":"https://api.github.com/users/viboes/followers","following_url":"https://api.github.com/users/viboes/following{/other_user}","gists_url":"https://api.github.com/users/viboes/gists{/gist_id}","starred_url":"https://api.github.com/users/viboes/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/viboes/subscriptions","organizations_url":"https://api.github.com/users/viboes/orgs","repos_url":"https://api.github.com/users/viboes/repos","events_url":"https://api.github.com/users/viboes/events{/privacy}","received_events_url":"https://api.github.com/users/viboes/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/ldionne/hana/labels/documentation","name":"documentation","color":"fad8c7"},{"url":"https://api.github.com/repos/ldionne/hana/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-06-13T13:50:23Z","updated_at":"2015-06-14T12:18:51Z","closed_at":"2015-06-13T19:26:53Z","body":"The use of Superclass on the context of the type class definitions is weird. A type class (Concept) is not really a class. The relation of sub-class super-class is not defined. \r\n\r\nI suggest to use type class instead of concept, and define the relation of sub-type-class and super-type-class.\r\n"},"comment":{"url":"https://api.github.com/repos/ldionne/hana/issues/comments/111821642","html_url":"https://github.com/ldionne/hana/issues/102#issuecomment-111821642","issue_url":"https://api.github.com/repos/ldionne/hana/issues/102","id":111821642,"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-06-14T12:18:51Z","updated_at":"2015-06-14T12:18:51Z","body":"However, this issue of expressing\r\n\r\n```haskell\r\nMonoid a => Monoid (Maybe a)\r\n```\r\n\r\nis not really present in Hana, because it does not use parameterized tags. When a similar situation arises, I just describe it in words instead of having a notation for it, or a unifying notion of \"requirements\"."}}