Forgot to add BoolMain.hs.