Issue653.agda:7,1-14,22
B is not strictly positive, because it occurs
in the second argument to P
in the first clause
in the definition of A, which occurs
in the type of the constructor c
in the definition of B.
