errors/NotStrictlyPositive.agda:12,6-9
The datatype Bad is not strictly positive, because it occurs as the
first argument to Neg in the constructor .NotStrictlyPositive.bad
of Bad, which occurs as the first argument to Not in the
constructor neg of Neg, which occurs negatively in the constructor
not of Not