Removing redundant OverloadedLists extension so that Travis-ci build can succeed (using bleading-edge GHC locally).