Skip to content

Instantly share code, notes, and snippets.

@mausch
Created May 27, 2014 19:57
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 mausch/1dfd97a75f8915568158 to your computer and use it in GitHub Desktop.
Save mausch/1dfd97a75f8915568158 to your computer and use it in GitHub Desktop.
type Either<'a, 'b, 't> = ('a -> 't) -> ('b -> 't) -> 't // equivalent to Choice<'a, 'b>
type EitherStringInt<'t> = (string -> 't) -> (int -> 't) -> 't // equivalent to Choice<string, int>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment