Proving that you can write java in haskell.