Get compling
add a type signature
Get the haskell library working