Fill in the blanks version of World.hs