module B where

data X