Merge pull request #1 from el-devo/hopa

I've added type signatures, corrected a few misspelled words, and fixed 2 edge cases in Main.hs