module B where x = (,())