module B where x :: Boolean x = false