Skip to content

Instantly share code, notes, and snippets.

@jroesch
Created November 12, 2014 21:18
Show Gist options
  • Save jroesch/10921d85f419320d7448 to your computer and use it in GitHub Desktop.
Save jroesch/10921d85f419320d7448 to your computer and use it in GitHub Desktop.
Using associated types to represent existentials
class Request where
data R
...
class Response where
data R
class (Request Req, Response Resp) => Http where
data Req
data Resp
...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment