Full Haskell-like Type Class resolution in Java

2 points by abhin4v