Negative2.agda:7,6-9
Bad is not strictly positive, because it occurs in the first
argument to Tree in the type of the constructor bad in the
definition of Bad.