Negative1.agda:3,6-7
The datatype D is not strictly positive, because it occurs
negatively in the constructor .Negative1.lam of D