Agda-2.3.2.2: test/fail/NotStrictlyPositive.err
NotStrictlyPositive.agda:12,6-9 Bad is not strictly positive, because it occurs in the first argument to Neg in the type of the constructor bad in the definition of Bad.
NotStrictlyPositive.agda:12,6-9 Bad is not strictly positive, because it occurs in the first argument to Neg in the type of the constructor bad in the definition of Bad.