Tony Morris

@mandubian or just use Haskell :-)

@yoeight Here we go: a Scala Universal Quantifier for 2 type params structures https://gist.github.com/mandubian/71deee51bc498c384c5e … XD

@mandubian what about -> type Foo[C[_,_], R] = Forall[({type f[a] = Forall[({ type g[b] = C[a,b] => R})#g]})#f] ?

@yoeight To build it, I think it's going to be tricky :D

@mandubian I already suggested to go with Haskell :-)

@yoeight yes sure but I prefer learning haskell by hitting all the limits of scala :) (And I still like Scala :))

@mandubian I don't dislike Scala. I just think my programming style isn't always fit the Scala philosophy. Plus, I don't value JVM that much

@mandubian Besides, FP in Scala is cumbersome and terribly slow