bloglang/13/examples/errors/type_redefinition.txt

data Bool = { True, False }