Added some haskell that draws logic trees