A simple linear logic inference engine implemented in haskell