theory D
imports Main
begin

datatype A = c ("A")
datatype B = B A

end
