Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
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")

This comment has been minimized.

Copy link

commented Oct 4, 2016

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
You can’t perform that action at this time.