1 2 3 4 5 6 7 8
module B where import A data Y = Y Int Int thing :: X -> a thing (X (Y a b)) = thing (X (Y a b))