Make GHC not check that every top-level function/value has a type signature.
Return Botton if the arguments of length and divide are invalid.
Add .gitignore to ignore dist directory generated by Cabal.