Skip to content

Instantly share code, notes, and snippets.

@smarter

smarter/hk-alias.scala

Created April 29, 2016 18:08
Show Gist options
  • Save smarter/2982126fd17b9b58b820f3b50751a8e5 to your computer and use it in GitHub Desktop.
Save smarter/2982126fd17b9b58b820f3b50751a8e5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
hk-alias.scala
object Test {
def foo[M[_]](x: M[Int]) = x
type Alias[A] = (A, A)
val x: Alias[Int] = (1, 2)
foo(x) // Infer M=Alias
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment