Skip to content

Instantly share code, notes, and snippets.

@dminuoso

dminuoso/foo.hs Secret

Created October 11, 2020 17:31
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dminuoso/6d3ad7972fbe6a00e1a7c9fffcc64c77 to your computer and use it in GitHub Desktop.
Save dminuoso/6d3ad7972fbe6a00e1a7c9fffcc64c77 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
foo.hs
f :: (exists x. C x *> F x) -> V
f' :: (S + T + U) -> V
g :: V -> (exists x. C x *> F x)
g' :: V -> (S + T + U)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment