Agda-2.3.2.2: test/fail/PureLambda.err
PureLambda.agda:4,6-7 D is not strictly positive, because it occurs to the left of an arrow in the type of the constructor lam in the definition of D.
PureLambda.agda:4,6-7 D is not strictly positive, because it occurs to the left of an arrow in the type of the constructor lam in the definition of D.