module B where y = ()