module B where b = ()