I think this may be good reference material: http://learnyouahaskell.com/types-and-typeclasses http://learnyouahaskell.com/types-and-typeclasses Basically I'm

I think this may be good reference material: http://learnyouahaskell.com/types-and-typeclasses http://learnyouahaskell.com/types-and-typeclasses Basically I'm encoding this approach in Java.