Adding file bool.hs