Tweak Guardfile and cabal file
Add Haskell-side prototype