Start work on solver in Haskell