Negative3.agda:3,6-8
The datatype Mu is not strictly positive, because it occurs
negatively in the constructor .Negative3.inn of Mu