haskell house
haskell food-chain
add top level type sig