data E e p ds t c    = ...	-- Expressions
data D e p ds t c tp = ...	-- Declarations
data P   p           = ...	-- Patterns
data T        t      = ...	-- Types