So, dependent type in a context bound works: def abc[A:c.B](c:C)(a:A)=... #Scala you are so unsurprising in the best possible way.
5:16 PM - 7 Apr 2012
0 replies
3 retweets
1 like
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.