you can curse all the fucking you want.
When you write X#Y#Z, you're writing y.Z forSome { val y: x.Y forSome { val x: X } } Remember, kids: don't play with existentials.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
~months after writing http://typelevel.org/blog/2015/07/23/type-projection.html …, I finally found a good use for those. Of course X must be a singleton type :)
- End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.