-- We can disable extensions.
:ext NoEmptyDataDecls
data Thing
<interactive>:1:1: error:
⢠âThingâ has no constructors (EmptyDataDecls permits this)
⢠In the data declaration for âThingâ
-- And enable extensions.
:ext EmptyDataDecls
data Thing