module B where data B = B