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