Agda-2.3.2.2: test/fail/Negative3.err
Negative3.agda:3,6-8 Mu is not strictly positive, because it occurs in an argument to a bound variable in the type of the constructor inn in the definition of Mu.
Negative3.agda:3,6-8 Mu is not strictly positive, because it occurs in an argument to a bound variable in the type of the constructor inn in the definition of Mu.