Skip to content

Instantly share code, notes, and snippets.

@milessabin

milessabin/gist:b92b9bcc4298e0077ba033de49531bc0

Last active October 4, 2016 13:33
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 milessabin/b92b9bcc4298e0077ba033de49531bc0 to your computer and use it in GitHub Desktop.
Save milessabin/b92b9bcc4298e0077ba033de49531bc0 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
tapply: (a -> b) -> a -> b
tapply ab a = ab a
foo: (tapply List Nat) --OK
foo = [1, 2, 3]
mkPair: a -> b -> (a, b)
mkPair a b = (a, b)
bar: (mkPair Nat String) -- Not OK
bar = (23, "foo")
@edwinb
Copy link

edwinb commented Oct 4, 2016 •
edited 

mkPair: Type -> Type -> Type
mkPair a b = (a, b)

bar: (mkPair Nat String) -- OK
bar = (23, "foo")

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment